Ronald Huijsman

Publication Activity (10 Years)

Years Active: 1987-1993
Publications (10 Years): 0

Publications

K. Brink, Ronald Huijsman, Jan van Katwijk
SEAL A simple language for prototyping action-event specifications. Microprocess. Microprogramming 38 (1-5) (1993)
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
Type Checking BSI/VDM-SL. VDM Europe (1990)
Ronald Huijsman, Jan van Katwijk, W. J. Toetenel
Performance aspects of Ada tasking in embedded systems. Microprocess. Microprogramming 21 (1-5) (1987)