Research Output 1987 2017

Filter
Book
2002

Embedded Systems Roadmap -- Vision on technology for the future of PROGRESS

Mesman, B., Spaanenburg, L., Brinksma, H., Deprettere, E. F., Verhulst, E., Timmer, F., van Gageldonk, H., Eggermont, L. D. J., van Leuken, R., Krol, T. & Hendriksen, W. Mar 2002 Utrecht: Technology Foundation (STW).

Research output: ScientificBook

1995

Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, H., Cleaveland, W. R., Margaria, T., Steffen, B. & Larsen, K. G. 1995 Geen adressering: Springer Verlag. 289 p.

Research output: ScientificBook

1994

Verifying Sequentially Consistent Memory

Brinksma, H., Davies, J., Gerth, R., Grapf, S., Janssen, W. P. M., Janssen, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C. & Zwiers, J. 1994 Eindhoven: Technische Universiteit Eindhoven, Wiskunde & Informatica. 160 p.

Research output: ProfessionalBook

1992

Protocol Test Systems, IV.

Kroon, J., Heijink, R. J. & Brinksma, H. 1992 Amsterdam: North Holland. 310 p.

Research output: ScientificBook