Validating Real-Time Systems by History-Checking TRIO Specifications.

Miguel Felder Angelo Morzenti

Published in: ICSE (1992)

Keyphrases

real time systems
embedded real time systems
reactive systems
real time
distributed systems
embedded systems
timing constraints
high level
mission critical
anytime algorithms
object oriented programming language
real time database systems
database
case study
dynamic programming
architectural model