Library
search
local_library
Repository
R
RF Lutje Spelberg
View Pure Profile
Authored
10 records found
Modeling and verification using XTG and PMC
Conference paper -
A Burns
,
RF Lutje Spelberg
,
WJ Toetenel
,
T Vink
Real-Time model checking based on splitting
Conference paper -
RF Lutje Spelberg
,
WJ Toetenel
Model checking real-time embedded software
Conference paper -
WJ Toetenel
,
RF Lutje Spelberg
Model checking real-time systems based on partition refinement
Doctoral thesis -
RF Lutje Spelberg
Parametric real-time model checking using splitting trees
Journal article -
RF Lutje Spelberg
,
WJ Toetenel
Parametric verification of the IEEE 1394a root contention protocol using LPMC
Conference paper -
WJ Toetenel
,
RF Lutje Spelberg
,
G Bandini
Parametric model-checking in PMC
Conference paper -
G Bandini
,
RF Lutje Spelberg
,
WJ Toetenel
Application of parametric model checking-the root contention protocol
Conference paper -
G Bandini
,
RF Lutje Spelberg
,
RCM de Rooij
,
WJ Toetenel
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