Login / Signup

Deductive verification of real-time systems using STeP.

Nikolaj BjørnerZohar MannaHenny SipmaTomás E. Uribe
Published in: Theor. Comput. Sci. (2001)
Keyphrases
  • architectural model
  • real time systems
  • real time
  • web services
  • embedded systems
  • distributed systems
  • real time embedded
  • real time database systems
  • timing constraints
  • mission critical
  • embedded real time systems