Formal Methods for Real-Time Computing
| Author | : Constance Heitmeyer |
| Publisher | : |
| Total Pages | : 304 |
| Release | : 1996-06-04 |
| ISBN-10 | : UOM:39015037814350 |
| ISBN-13 | : |
| Rating | : 4/5 (50 Downloads) |
Book Synopsis Formal Methods for Real-Time Computing by : Constance Heitmeyer
Download or read book Formal Methods for Real-Time Computing written by Constance Heitmeyer and published by . This book was released on 1996-06-04 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
