Analysis Of Real-Time Systems Using Symbolic Techniques

Livro: Formal Methods for Real-Time Computing.

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.

Editora: 
Wiley
Edição: 
1996
Tipo publicação: 
English