Verification Of Reactive Systems: Formal Methods And Algorithms
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2004 |
| Authors | Klaus Schneider |
| Music groups | Curiosity and exploration |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1995331 |
About Verification Of Reactive Systems: Formal Methods And Algorithms
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. . . .