Hendrik Brinksma


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

Research Output 1987 2017


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


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

9 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
Data storage equipment
Memory architecture
Network protocols

Protocol Test Systems, IV.

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

Research output: Book/ReportBookAcademic