K. Brink

Publication Activity (10 Years)

Years Active: 1993-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, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Experiences with analysis of formal specifications in Astral. RTCSA (1997)
K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Analyzing Schedulability of Astral Specifications using Extended Timed Automata. Euro-Par (1997)
K. Brink, Jan van Katwijk, W. J. Toetenel
Ada 95 as implementation vehicle for formal specifications. RTCSA (1996)
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)
K. Brink, Ronald Huijsman, Jan van Katwijk
SEAL A simple language for prototyping action-event specifications. Microprocess. Microprogramming 38 (1-5) (1993)