Login / Signup

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.

Behzad BordbarKozo 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