No photo of Hendrik Brinksma

Hendrik Brinksma

prof.dr.

1987 …2017
If you made any changes in Pure these will be visible here soon.

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: Book/ReportBook

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: Book/ReportBook

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: Book/ReportBook

1992

Protocol Test Systems, IV.

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

Research output: Book/ReportBook