On Verification of Linear Occurrence Properties of Real-Time Systems.

Choe Changil Dang Van Hung

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
model checking
real time database systems
artificial intelligence
real time embedded
software systems
timing constraints
architectural model