|  |
| |
| Artikel-Nr.:
858A-9783319122137 Herst.-Nr.:
9783319122137 EAN/GTIN:
9783319122137 |
| |
|
| | |
| This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies. Weitere Informationen: | | Author: | Frank Ortmeier; Antoine Rauzy | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, assertion checking, failure prediction, formal verification, model checking, model development and analysis, model verification and validation, model-based testing, modeling methodologies, reliability, safety critical systems, theorem proving algorithms |
| | |
| |