000862935 000__ 01994cam\a2200481Ii\4500
000862935 001__ 862935
000862935 005__ 20230306145606.0
000862935 006__ m\\\\\o\\d\\\\\\\\
000862935 007__ cr\cn\nnnunnun
000862935 008__ 190207s2019\\\\sz\a\\\\o\\\\\100\0\eng\d
000862935 020__ $$a9783030129880$$q(electronic book)
000862935 020__ $$a3030129888$$q(electronic book)
000862935 020__ $$z9783030129873
000862935 0247_ $$a10.1007/978-3-030-12988-0$$2doi
000862935 035__ $$aSP(OCoLC)on1084725882
000862935 035__ $$aSP(OCoLC)1084725882
000862935 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dUKMGB$$dOCLCF
000862935 049__ $$aISEA
000862935 050_4 $$aQA76.9.F67
000862935 08204 $$a004.01/51$$223
000862935 1112_ $$aFTSCS (Workshop)$$n(6th :$$d2018 :$$cGold Coast, Qld.)
000862935 24510 $$aFormal techniques for safety-critical systems :$$b6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /$$cCyrille Artho, Peter Csaba Ölveczky (eds.).
000862935 2463_ $$aFTSCS 2018
000862935 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000862935 300__ $$a1 online resource (xii, 179 pages) :$$billustrations.
000862935 336__ $$atext$$btxt$$2rdacontent
000862935 337__ $$acomputer$$bc$$2rdamedia
000862935 338__ $$aonline resource$$bcr$$2rdacarrier
000862935 4901_ $$aCommunications in computer and information science,$$x1865-0929 ;$$v1008
000862935 500__ $$aIncludes author index.
000862935 504__ $$aIncludes bibliographical references and index.
000862935 506__ $$aAccess limited to authorized users.
000862935 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed February 7, 2019).
000862935 650_0 $$aFormal methods (Computer science)$$vCongresses.
000862935 650_0 $$aSystem safety$$vCongresses.
000862935 650_0 $$aSystems engineering$$vCongresses.
000862935 7001_ $$aArtho, Cyrille,$$eeditor.
000862935 7001_ $$aÖlveczky, Peter Csaba,$$eeditor.
000862935 830_0 $$aCommunications in computer and information science ;$$v1008.
000862935 852__ $$bebk
000862935 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-12988-0$$zOnline Access$$91397441.1
000862935 909CO $$ooai:library.usi.edu:862935$$pGLOBAL_SET
000862935 980__ $$aEBOOK
000862935 980__ $$aBIB
000862935 982__ $$aEbook
000862935 983__ $$aOnline
000862935 994__ $$a92$$bISE