 | 1998 |
|---|
| 6 |       | 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: 177-186 |
| 1997 |
|---|
| 5 | | K. Brink,
Jan van Katwijk,
R. F. Lutje Spelberg,
W. J. Toetenel:
Analyzing Schedulability of Astral Specifications using Extended Timed Automata.
Euro-Par 1997: 1290-1297 |
| 4 | | K. Brink,
Jan van Katwijk,
R. F. Lutje Spelberg,
W. J. Toetenel:
Experiences with analysis of formal specifications in Astral.
RTCSA 1997: 143- |
| 1996 |
|---|
| 3 | | K. Brink,
Jan van Katwijk,
W. J. Toetenel:
Ada 95 as implementation vehicle for formal specifications.
RTCSA 1996: 98-105 |
| 1995 |
|---|
| 2 | | K. Brink,
L. J. G. Bun,
Jan van Katwijk,
W. J. Toetenel:
Hybrid specification of control systems.
ICECCS 1995: 149- |
| 1993 |
|---|
| 1 | | K. Brink,
Ronald Huijsman,
Jan van Katwijk:
SEAL A simple language for prototyping action-event specifications.
Microprocessing and Microprogramming 38(1-5): 87-95 (1993) |
