Formal Methods For Industrial Critical Systems: A Survey Of Applications
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2012 |
| Authors | Tiziana Margaria-Steffen |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2260321 |
About Formal Methods For Industrial Critical Systems: A Survey Of Applications
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. . . .