Real-Time Systems: Specification, Verification, and Analysis
Joseph Mattai, Mathai Joseph · Prentice Hall PTR eBooks · 1995
From the Publisher: 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.