Formal Methods For Industrial Applications: Specifying And Programming The Steam Boiler Control
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | October 30, 1996 |
| Editors | H. Langmaack |
| Jean-Raymond Abrial | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2243016 |
About Formal Methods For Industrial Applications: Specifying And Programming The Steam Boiler Control
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported . . .