State-Based Specification of Complex Real-Time Systems.

Armen Gabrielian Matthew K. Franklin

Published in: RTSS (1988)

Keyphrases

real time systems
high level
embedded systems
real time
state space
database systems
distributed systems
timing constraints
artificial intelligence
web services
software engineering
mission critical
reactive systems