Foundations of Real-Time Computing: Formal Specifications...
Tilborg, André M van / Koob, Gary M![Foundations of Real-Time Computing: Formal Specifications and Methods](https://support.digitalhusky.com/media/annotations/sorted/680/6802736/CHSBZCOP036802736.jpg)
This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management comp...