000711774 000__ 02827cam\a2200541Mi\4500
000711774 001__ 711774
000711774 005__ 20230306140209.0
000711774 006__ m\\\\\o\\d\\\\\\\\
000711774 007__ cr\un\nnnunnun
000711774 008__ 141006s2014\\\\sz\a\\\\o\\\\\101\0\eng\d
000711774 020__ $$a9783319122144$$qelectronic book
000711774 020__ $$a3319122142$$qelectronic book
000711774 020__ $$z9783319122137
000711774 020__ $$z3319122134
000711774 035__ $$aSP(OCoLC)ocn892338629
000711774 040__ $$aNLGGC$$beng$$erda$$epn$$cNLGGC$$dOCLCO$$dYDXCP$$dGW5XE$$dUPM
000711774 049__ $$aISEA
000711774 050_4 $$aTA169.7$$b.I43 2014
000711774 08204 $$a620.8/6011$$223
000711774 1112_ $$aInternational Symposium on Model-Based Safety and Assessment$$n(4th :$$d2014 :$$cMunich, Germany)
000711774 24510 $$aModel-based safety and assessment$$h[electronic resource] :$$b4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings /$$cFrank Ortmeier, Antoine Rauzy (Eds.).
000711774 2463_ $$aIMBSA 2014
000711774 264_1 $$aCham :$$bSpringer,$$c[2014]
000711774 264_4 $$c©2014
000711774 300__ $$a1 online resource :$$billustrations.
000711774 336__ $$atext$$btxt$$2rdacontent
000711774 337__ $$acomputer$$bc$$2rdamedia
000711774 338__ $$aonline resource$$bcr$$2rdacarrier
000711774 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8822
000711774 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000711774 500__ $$aInternational conference proceedings.
000711774 500__ $$aIncludes author index.
000711774 5050_ $$aModeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment in the Automotive Domain -- Case Studies.
000711774 506__ $$aAccess limited to authorized users.
000711774 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.
000711774 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 10, 2014).
000711774 650_0 $$aSystem safety$$xSimulation methods$$vCongresses.
000711774 650_0 $$aReliability (Engineering)$$xSimulation methods$$vCongresses.
000711774 650_0 $$aSafety appliances$$xSimulation methods$$vCongresses.
000711774 650_0 $$aComputer systems$$xSimulation methods$$vCongresses.
000711774 7001_ $$aOrtmeier, Frank,$$eeditor.
000711774 7001_ $$aRauzy, Antoine,$$eeditor.
000711774 830_0 $$aLecture notes in computer science ;$$v8822.
000711774 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000711774 85280 $$bebk$$hSpringerLink
000711774 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-12214-4$$zOnline Access
000711774 909CO $$ooai:library.usi.edu:711774$$pGLOBAL_SET
000711774 980__ $$aEBOOK
000711774 980__ $$aBIB
000711774 982__ $$aEbook
000711774 983__ $$aOnline
000711774 994__ $$a92$$bISE