A Layered Approach to Automating the Verification of Real-Time Systems.

Richard Gerber Insup Lee

Published in: IEEE Trans. Software Eng. (1992)

Keyphrases

real time systems
real time
distributed systems
model checking
embedded systems
mission critical
real time database systems
timing constraints
embedded real time systems
decision making
machine learning
artificial neural networks
real time databases
real time embedded
object oriented programming language