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: STW.

Research output: Book/ReportBookAcademic

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. 289 p.

Research output: Book/ReportBookAcademic

1994
2 Downloads (Pure)

Verifying Sequentially Consistent Memory

Brinksma, E., Davies, J., Gerth, R., Graf, S., Janssen, W., Jonsson, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C. & Zwiers, J., 1994, Eindhoven: Technische Universiteit Eindhoven, Wiskunde & Informatica. 160 p. (Computing Science Report; no. 94/44)

Research output: Book/ReportBookProfessional

Open Access
File
Data storage equipment
Memory architecture
Network protocols
1992

Protocol Test Systems, IV.

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

Research output: Book/ReportBookAcademic