Autorenfreundlich Bücher kaufen?!
Beschreibung
Event-B is a formal method for the system level modeling and analysis of dependable applications. Event-B language is for modelling and reasoning about complex and discrete systems. Also it is a notation used for developing mathematical model. In this book we proposed using Automatic theorem provers known as SMT-solvers with event-B pattern. The benefits of that are to reduce the proving effort, to reuse a model and to increase the degree of automation. The proposed approach has been applied successfully on two different case studies.
Details
| Verlag | LAP LAMBERT Academic Publishing |
| Ersterscheinung | 25. April 2013 |
| Maße | 22 cm x 15 cm x 0.5 cm |
| Gewicht | 113 Gramm |
| Format | Softcover |
| ISBN-13 | 9783659385728 |
| Seiten | 64 |
Bekannt durch
