|
Search the dblp DataBase
K. Brink:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Analyzing Schedulability of Astral Specifications using Extended Timed Automata. [Citation Graph (0, 0)][DBLP] Euro-Par, 1997, pp:1290-1297 [Conf]
- K. Brink, L. J. G. Bun, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Automatic Analysis of Embedded Systems Specified in Astral. [Citation Graph (0, 0)][DBLP] HICSS (3), 1998, pp:177-186 [Conf]
- K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel
Hybrid specification of control systems. [Citation Graph (0, 0)][DBLP] ICECCS, 1995, pp:149-0 [Conf]
- K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel
Experiences with analysis of formal specifications in Astral. [Citation Graph (0, 0)][DBLP] RTCSA, 1997, pp:143-0 [Conf]
- K. Brink, Jan van Katwijk, W. J. Toetenel
Ada 95 as implementation vehicle for formal specifications. [Citation Graph (0, 0)][DBLP] RTCSA, 1996, pp:98-105 [Conf]
Search in 0.001secs, Finished in 0.001secs
|