Specification and proof in real-time CPS

• Main Author: Davies, J. (Author)
• Format: Book
• Language: English
• Published: New York Cambridge University Press c1993
• Series: Distinguished Dissertations in Computer Science
• Subjects: CPS; OPERATING SYSTEMS; Συστήματα πραγματικού χρόνου
• Item Description: βιβλιογραφια:σσ.175-180
• Physical Description: xvii, 180p. fig.
• ISBN: 0 521 45055 1