Library
search
local_library
Repository
Rd
RCM de Rooij
View Pure Profile
Authored
8 records found
Experiments in using model checking for schedulability analysis
Conference paper -
RCM de Rooij
Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm
Journal article -
J. van Katwijk
,
RCM de Rooij
,
S Stuurman
,
WJ Toetenel
Transformation of UML specification to XTG
Conference paper -
E Roubtsova
,
J. van Katwijk
,
RCM de Rooij
,
WJ Toetenel
An approach towards formal verification of object-oriented real-time systems
Conference paper -
RCM de Rooij
,
J. van Katwijk
Application of parametric model checking-the root contention protocol
Conference paper -
G Bandini
,
RF Lutje Spelberg
,
RCM de Rooij
,
WJ Toetenel
Specification of real-time systems in UML
Journal article -
E Roubtsova
,
J. van Katwijk
,
WJ Toetenel
,
C. Pronk
,
RCM de Rooij
Experiments with parametric verification of real-time systems
Conference paper -
RF Lutje Spelberg
,
RCM de Rooij
,
WJ Toetenel
ACL: an approach to formal verification of real time systems
Conference paper -
RCM de Rooij
,
RF Lutje Spelberg
,
J. van Katwijk