000800110 000__ 02152cam\a2200529Mi\4500
000800110 001__ 800110
000800110 005__ 20230306143701.0
000800110 006__ m\\\\\o\\d\\\\\\\\
000800110 007__ cr\un\nnnunnun
000800110 008__ 170816s2017\\\\gw\\\\\\o\\\\\000\0\eng\d
000800110 019__ $$a1002417582
000800110 020__ $$a9783319662664
000800110 020__ $$a331966266X
000800110 020__ $$z9783319662657
000800110 0247_ $$a10.1007/978-3-319-66266-4$$2doi
000800110 035__ $$aSP(OCoLC)on1004982736
000800110 035__ $$aSP(OCoLC)1004982736$$z(OCoLC)1002417582
000800110 040__ $$aAZU$$beng$$cAZU$$dUPM$$dGW5XE$$dYDX$$dNJR
000800110 049__ $$aISEA
000800110 050_4 $$aQA76.63
000800110 08204 $$a005.1015113$$223
000800110 24500 $$aComputer Safety, Reliability, and Security :$$b36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /$$cedited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.
000800110 264_1 $$aCham :$$bSpringer International Publishing :$$bImprint: Springer,$$c2017.
000800110 300__ $$a1 online resource (xix, 344 pages) :$$billustrations.
000800110 336__ $$atext$$btxt$$2rdacontent
000800110 337__ $$acomputer$$bc$$2rdamedia
000800110 338__ $$aonline resource$$bcr$$2rdacarrier
000800110 347__ $$atext file$$bPDF$$2rda
000800110 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v10488
000800110 5050_ $$aDynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security.
000800110 506__ $$aAccess limited to authorized users.
000800110 650_0 $$aComputer science.
000800110 650_0 $$aComputer organization.
000800110 650_0 $$aSoftware engineering.
000800110 650_0 $$aProgramming languages (Electronic computers).
000800110 650_0 $$aComputer security.
000800110 650_0 $$aComputer logic.
000800110 650_0 $$aApplication software.
000800110 7001_ $$aTonetta, Stefano.$$eeditor.
000800110 7001_ $$aSchoitsch, Erwin.$$eeditor.
000800110 7001_ $$aBitsch, Friedemann.$$eeditor.
000800110 77608 $$iPrint version:$$z9783319662657
000800110 830_0 $$aLecture Notes in Computer Science ;$$v10488.
000800110 852__ $$bebk
000800110 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66266-4$$zOnline Access$$91397441.1
000800110 909CO $$ooai:library.usi.edu:800110$$pGLOBAL_SET
000800110 980__ $$aEBOOK
000800110 980__ $$aBIB
000800110 982__ $$aEbook
000800110 983__ $$aOnline
000800110 994__ $$a92$$bISE