Formal Methods for Real-Time Computing

by Constance Heitmeyer and Constance L. Heitmeyer

Developers of safety-critical systems and software lack methods for developing high quality real-time systems. The impact that these systems have on the quality and safety of human lives (for example in air traffic control systems and such like) give rise to a demand for rigorous approaches such as formal methods.

• Format: Paperback
• Language: English
• ISBN: 0471958352
• ISBN13: 9780471958352
• Release Date: May 1996
• Publisher: Wiley
• Length: 290 Pages
• Weight: 1.25 lbs.
• Dimensions: 0.7" x 6.6" x 9.4"