Conformance testing for real-time systems.

Moez Krichen Stavros Tripakis

Published in: Formal Methods Syst. Des. (2009)

Keyphrases

real time systems
real time
distributed systems
real time database systems
test cases
embedded systems
anytime algorithms
timing constraints
mission critical
architectural model
database
real time embedded
object oriented programming language
embedded real time systems