Predicate Diagrams for the Verification of Real-Time Systems.

Eun-Young Kang Stephan Merz

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

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
model checking
real time database systems
timing constraints
architectural model
object oriented programming language
database
machine learning
low cost
first order logic
smart card
real time embedded