Login / Signup

Formally Specifying and Verifying Real-Time Systems.

Richard A. Kemmerer
Published in: ICFEM (1997)
Keyphrases
  • real time systems
  • distributed systems
  • real time
  • timing constraints
  • embedded systems
  • real time database systems
  • mission critical
  • real time embedded
  • model checking
  • architectural model
  • open source