Modeling and verification of real-time systems /

مواد مشابهة

• Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
  حسب: Jones, Cliff B., وآخرون
  منشور في: (2007)
• Software design for real-time systems /
  حسب: 311078 Cooling, J. E.
  منشور في: (1991)
• Embedded real time systems : introductory concepts and tools /
  حسب: 296464 Leedham, Graham, وآخرون
  منشور في: (2007)
• The inverse method : parametric verification of real-time embedded systems /
  حسب: Andr,̌ Etienne, وآخرون
  منشور في: (2013)
• An evaluation of embedded real-time component models for autonomous mobile robot software development /
  حسب: 409201 Dayang Norhayati Abang Jawawi, وآخرون
  منشور في: (2004)