Modeling and Verification of Real-Time Systems.

Cengiz Erbas Murat M. Tanik

Published in: Trans. SDPS (2003)

Keyphrases

real time systems
real time
real time database systems
embedded real time systems
distributed systems
embedded systems
model checking
colored petri nets
architectural model
artificial intelligence
petri net
mission critical
real time embedded