Specifying and verifying real-time systems with timing uncertainty.

Hyun Seop Bae In Sang Chung Yong Rae Kwon

Published in: J. Syst. Softw. (2000)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
timing constraints
object oriented programming language
mission critical
architectural model
anytime algorithms
computer science
model checking
data model
software engineering
response time
real time embedded