All Formats & Editions
Verification of Reactive Systems: Formal Method...
The book is a foundation of the most important formalisms used for specification and verification of reactive systems. In particular, it presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes...
Verification of Reactive Systems: Formal Method...
The book is a foundation of the most important formalisms used for specification and verification of reactive systems. In particular, it presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes...
Verification of Reactive Systems: Formal Method...
Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market...
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
