Trends in Real-time Systems (Paperback)
  • Trends in Real-time Systems (Paperback)

Trends in Real-time Systems (Paperback)

Paperback Published: 26/03/1996
  • Not available

This product is currently unavailable.

  • This item has been added to your basket

Check Marketplace availability

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.

Publisher: John Wiley and Sons Ltd
ISBN: 9780471958352

You may also be interested in...

Your review has been submitted successfully.

We would love to hear what you think of Waterstones. Why not review Waterstones on Trustpilot?

Review us on Trustpilot