Formal Methods for Real-Time Computing - Couverture souple

Heitmeyer, Connie; Mandrioli, Dino

 
9780471958352: Formal Methods for Real-Time Computing
Couverture souple
ISBN 10 : 0471958352 ISBN 13 : 9780471958352
Editeur : John Wiley & Sons Ltd, 1996

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
John Wiley & Sons Ltd
Date d'édition
1996
Langue
anglais
ISBN 10 
0471958352
ISBN 13 
9780471958352
Reliure
Broché
Nombre de pages
300
Coordonnées du fabricant
non disponible
Personne responsable
non disponible