000 | 02750nam a22006135i 4500 | ||
---|---|---|---|
001 | 978-3-319-12214-4 | ||
003 | DE-He213 | ||
005 | 20200421111158.0 | ||
007 | cr nn 008mamaa | ||
008 | 140924s2014 gw | s |||| 0|eng d | ||
020 |
_a9783319122144 _9978-3-319-12214-4 |
||
024 | 7 |
_a10.1007/978-3-319-12214-4 _2doi |
|
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
050 | 4 | _aQA76.63 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aUYF _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aCOM036000 _2bisacsh |
|
082 | 0 | 4 |
_a005.1015113 _223 |
245 | 1 | 0 |
_aModel-Based Safety and Assessment _h[electronic resource] : _b4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings / _cedited by Frank Ortmeier, Antoine Rauzy. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
|
300 |
_aX, 209 p. 91 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8822 |
|
505 | 0 | _aModeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment in the Automotive Domain -- Case Studies. | |
520 | _aThis 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. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aAlgorithms. | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aMathematical logic. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aAlgorithm Analysis and Problem Complexity. |
700 | 1 |
_aOrtmeier, Frank. _eeditor. |
|
700 | 1 |
_aRauzy, Antoine. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319122137 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8822 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-12214-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c53676 _d53676 |