L. J. G. Bun

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

K. Brink, L. J. G. Bun, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Automatic Analysis of Embedded Systems Specified in Astral. HICSS (3) (1998)
K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel
Closed World Specification of Embedded Real-Time Controllers. RTS (1996)
K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel
Hybrid specification of control systems. ICECCS (1995)