Login / Signup
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.
Dilsun Kirli Kaynar
Nancy A. Lynch
Roberto Segala
Frits W. Vaandrager
Published in:
RTSS (2003)
Keyphrases
</>
real time systems
mathematical framework
timed automata
image formation
real time
distributed systems
petri net
embedded systems
mission critical
finite state machines
embedded real time systems
real time database systems
model checking
timing constraints
colored petri nets
real time embedded
software engineering