Experiments with parametric verification of real-time systems.

R. F. Lutje Spelberg Ruud C. M. de Rooij W. J. Toetenel

Published in: ECRTS (1999)

Keyphrases

real time systems
distributed systems
real time
embedded systems
real time database systems
model checking
mission critical
timing constraints
object oriented programming language
embedded real time systems
real time embedded
software engineering
parametric models
anytime algorithms
architectural model