Computer-Aided Verification Of Coordinating Processes: The Automata-Theoretic Approach
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1995 |
| Authors | R. P. Kurshan |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2175784 |
About Computer-Aided Verification Of Coordinating Processes: The Automata-Theoretic Approach
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. . . .