Practical Formal Methods For Hardware Design
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | May 28, 1997 |
| Editors | Werner Damm |
| Carlos Delgado Kloos | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2127203 |
About Practical Formal Methods For Hardware Design
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. . . .