Verifying Properties of HMS Machine Specifications of Real-Time Systems.

Armen Gabrielian R. Iyer

Published in: CAV (1991)

Keyphrases

real time systems
embedded real time systems
distributed systems
real time
reactive systems
embedded systems
timing constraints
high level
database systems
manufacturing systems
mission critical
architectural model
data model
database management systems
cognitive science
formal language