The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage

system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) throu

Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-

This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Te

"IEEE Press is pleased to bring you this Second Edition of Phillip A. Laplante's best-selling and widely-acclaimed practical guide to building real-time systems