Real-time systems :
Joseph, Mathai, (Ed.)
Real-time systems : specification, verification, and analysis / edited by Mathai Joseph. - London ; New York : Prentice Hall, 1996. - xiv, 278 p. : ill. ; 24 cm. - Prentice Hall International series in computer science .
Includes bibliographical references (p. 259-271) and index.
0134552970 (pbk.)
Computer Science
Real-time data processing.
005.2 / JOS
Real-time systems : specification, verification, and analysis / edited by Mathai Joseph. - London ; New York : Prentice Hall, 1996. - xiv, 278 p. : ill. ; 24 cm. - Prentice Hall International series in computer science .
Includes bibliographical references (p. 259-271) and index.
0134552970 (pbk.)
Computer Science
Real-time data processing.
005.2 / JOS