Your price
Out of Stock

Trends in Real-time Systems

Format: Paperback
Publisher: John Wiley and Sons Ltd, Chichester, United Kingdom
Imprint: John Wiley & Sons Ltd
Published: 26th Mar 1996
Dimensions: w 168mm h 241mm d 18mm
Weight: 560g
ISBN-10: 0471958352
ISBN-13: 9780471958352
Barcode No: 9780471958352
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. 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 programme specification, formal methods, analyzing and design of real-time systems. The book is useful reading for developers of safety critical systems and researchers in the field.

New & Used

Seller Information Condition Price
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now