Login / Signup

How to make a simple tool for verification of real-time systems.

Igor V. KonnovVladislav V. PodymovDmitry Yu. VolkanovVladimir A. ZakharovDaniil A. Zorin
Published in: Autom. Control. Comput. Sci. (2014)
Keyphrases
  • real time systems
  • object oriented programming language
  • real time
  • embedded systems
  • architectural model
  • distributed systems
  • real time database systems
  • mission critical
  • model checking
  • real time embedded