Compositional Testing of Real-Time Systems.

Kim G. Larsen Axel Legay Marius Mikucionis Brian Nielsen Ulrik Nyman

Published in: ModelEd, TestEd, TrustEd (2017)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
timing constraints
real time database systems
real time embedded
artificial intelligence
case study
test cases
object oriented programming language
anytime algorithms