Opening book details…
Can I read Real-time Systems : Specification, Verification, and Analysis on EtoBox?
Real-time Systems : Specification, Verification, and Analysis by Mathai Joseph is a book available to read on EtoBox.
What is Real-time Systems : Specification, Verification, and Analysis about?
Real-time Systems: Specification, Verification and Analysis provides a detailed account of three major aspects of real-time systems: program structures for real-time, timing analysis using scheduling theory, and specification and verification in different formal frameworks.
- Author
- Mathai Joseph
- Publisher
- London ; New York: Prentice Hall
- Published
- 1996
- Language
- EN
- ISBN
- 9780134552972
- Subjects
- Computer Science, Reference
Other editions & translations
More by Mathai Joseph
Browse all works by Mathai Joseph
Similar books
- Real-Time Systems : Formal Specification and Automatic Verification — Ernst-Rüdiger Olderog and Henning Dierks (2008)
- Real-Time Systems Design and Analysis: Laplante/Real-Time Systems Design — Phillip A. Laplante(auth.) (2004)
- Modeling and Verification of Real-time Systems : Formalisms and Software Tools — edited by Nicolas Navet, Stephan Merz (2008)
- Specification and Verification of Multi-agent Systems — edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (2010)
- Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science (558)) — Jozef Hooman (auth.) (1991)
- Real-Time Systems : Scheduling, Analysis, and Verification — Albert M. K. Cheng (2002)