Concurrent systems: specification and verification of some real-time control properties

Podobné exempláre

• VERIFICATION OF REAL-TIME CONTROL SYSTEMS
  Autor: Fogel, Jaroslav, 1945-
• SIMULATION ENVIRONMENT FOR REAL TIME VERIFICATION OF CONTROL ALGORITHM.
  Autor: Alexík, Mikuláš, 1943-, a ďalší
• Discrete Even Systems Modelling and Real-Time Control
  Autor: Hrúz, Branislav
• Computation model for real-time control systems development
  Autor: Zmaranda, Doina, 1967-, a ďalší
• Real-time Requirements of Intelligent Control
  Autor: Ajtonyi, István