Formal Methods for Real-Time Computing
Constance Heitmeyer, Dino Mandrioli · John Wiley & Sons, Inc. eBooks · 1996
From the Publisher: Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include program specification, formal methods, analyzing, and design of real-time systems. The book is essential reading for developers of safety critical systems and researchers in the field.