| 1998 |
|---|
| 5 | EE | 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 |
|---|
| 4 | | 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 |
| 3 | EE | K. Brink,
Jan van Katwijk,
R. F. Lutje Spelberg,
W. J. Toetenel:
Experiences with analysis of formal specifications in Astral.
RTCSA 1997: 143- |
| 1996 |
|---|
| 2 | EE | K. Brink,
Jan van Katwijk,
W. J. Toetenel:
Ada 95 as implementation vehicle for formal specifications.
RTCSA 1996: 98-105 |
| 1995 |
|---|
| 1 | EE | K. Brink,
L. J. G. Bun,
Jan van Katwijk,
W. J. Toetenel:
Hybrid specification of control systems.
ICECCS 1995: 149- |
