|
Search the dblp DataBase
Ruud C. M. de Rooij:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
Transformation of UML Specification to XTG. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:247-254 [Conf]
- G. Bandini, R. F. Lutje Spelberg, Ruud C. H. de Rooij, Hans Toetenel
Application of Parametric Model Checking - The Root Contention Protocol. [Citation Graph (0, 0)][DBLP] HICSS, 2001, pp:- [Conf]
- Ruud C. M. de Rooij, Jan van Katwijk
An Approach Towards Formal Verification of Object Oriented Real-Time Systems. [Citation Graph (0, 0)][DBLP] RTCSA, 1999, pp:474-0 [Conf]
- Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij
The MSP.RTL real-time scheduler synthesis tool. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1996, pp:118-128 [Conf]
- Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
Specification of Real-Time Systems in UML. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
Experiments with parametric verification of real-time systems. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|