Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints.

Mehrdad Saadatmand Mikael Sjödin

Published in: APSEC (2) (2013)

Keyphrases

real time systems
timing constraints
real time
high speed
distributed systems
embedded systems
constraint sets
object oriented programming language
real time database systems
architectural model
real time embedded
machine learning
database systems
power consumption
cognitive processes
mission critical