Related Books
Language: en
Pages: 304
Pages: 304
Type: BOOK - Published: 1996-06-04 - Publisher:
Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal me
Language: en
Pages: 301
Pages: 301
Type: BOOK - Published: 2004-12-07 - Publisher: Springer
A large class of computing systems can be specified and verified by abstracting away from the temporal aspects of their behavior. In real-time systems,instead,
Language: en
Pages: 283
Pages: 283
Type: BOOK - Published: 2013-03-07 - Publisher: John Wiley & Sons
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to
Language: en
Pages: 364
Pages: 364
Type: BOOK - Published: 2003-05-21 - Publisher: Springer
This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, he
Language: en
Pages: 213
Pages: 213
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-toleran