Foundations of real-time computing : formal specifications and methods /

समान संसाधन

• Foundations of real-time computing : scheduling and resource management /
  प्रकाशित: (1991)
• Real-time computer systems /
  द्वारा: Freedman, A. L.
  प्रकाशित: (1977)
• Timing analysis of real-time software : a practical approach to the specification and design of real-time ... /
  द्वारा: Motus, L.
  प्रकाशित: (1994)
• Specification and compositional verification of real-time systems /
  द्वारा: Hooman, J. (Jozef), 1955-
  प्रकाशित: (1991)
• Advances in real-time systems /
  प्रकाशित: (1993)