Login / Signup
Modeling and verification of distributed real-time systems using periodic finite state machines.
Roman Obermaisser
Christian El Salloum
Bernhard Huber
Hermann Kopetz
Published in:
Comput. Syst. Sci. Eng. (2008)
Keyphrases
</>
real time systems
finite state machines
distributed systems
model checking
mission critical
real time embedded
real time
embedded systems
embedded real time systems
real time database systems
cooperative
distributed environment
finite state automata
timing constraints
object oriented programming language