A constructive method for the architectural design and correctness verification of real-time programs /

類似資料

• Specification and compositional verification of real-time systems /
  著者:: Hooman, J. (Jozef), 1955-
  出版事項: (1991)
• Programming real-time computer systems.
  著者:: Martin, James, 1933-
  出版事項: (1965)
• Guide to the design of real-time systems
  著者:: Rothstein, Michael F.
  出版事項: (1970)
• Timing analysis of real-time software : a practical approach to the specification and design of real-time ... /
  著者:: Motus, L.
  出版事項: (1994)
• Real-time systems : abstractions, languages, and design methodologies, /
  出版事項: (1992)