Principles Of Model Checking
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2008 |
| Authors | Christel Baier |
| Joost-Pieter Katoen | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2198751 |
About Principles Of Model Checking
Our growing dependence on increasingly complex computer and software systemsnecessitates the development of formalisms, techniques, and tools for assessing functionalproperties of these systems. . . .