Login / Signup
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.
Behzad Bordbar
Kozo Okano
Published in:
FATES (2004)
Keyphrases
</>
real time systems
distributed systems
real time
embedded systems
reactive systems
real time database systems
mission critical
database
timing constraints
architectural model
object oriented programming language