Login / Signup
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