000931991 000__ 02080cam\a2200505Ii\4500
000931991 001__ 931991
000931991 005__ 20230306151611.0
000931991 006__ m\\\\\o\\d\\\\\\\\
000931991 007__ cr\cn\nnnunnun
000931991 008__ 200504s2020\\\\sz\a\\\\o\\\\\101\0\eng\d
000931991 019__ $$a1153060603
000931991 020__ $$a9783030469023$$q(electronic book)
000931991 020__ $$a3030469026$$q(electronic book)
000931991 020__ $$z9783030469016
000931991 020__ $$z3030469018
000931991 0247_ $$a10.1007/978-3-030-46902-3$$2doi
000931991 035__ $$aSP(OCoLC)on1153145734
000931991 035__ $$aSP(OCoLC)1153145734$$z(OCoLC)1153060603
000931991 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP
000931991 049__ $$aISEA
000931991 050_4 $$aQA76.9.F67
000931991 08204 $$a004.01/51$$223
000931991 1112_ $$aFTSCS (Workshop)$$n(7th :$$d2019 :$$cShenzhen Shi, China)
000931991 24510 $$aFormal techniques for safety-critical systems :$$b7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers /$$cOsman Hasan, Frédéric Mallet (eds.).
000931991 2463_ $$aFTSCS 2019
000931991 264_1 $$aCham, Switzerland :$$bSpringer,$$c2020.
000931991 300__ $$a1 online resource (viii, 141 pages) :$$billustrations.
000931991 336__ $$atext$$btxt$$2rdacontent
000931991 337__ $$acomputer$$bc$$2rdamedia
000931991 338__ $$aonline resource$$bcr$$2rdacarrier
000931991 4901_ $$aCommunications in Computer and Information Science,$$x1865-0929 ;$$v1165
000931991 500__ $$aIncludes author index.
000931991 506__ $$aAccess limited to authorized users.
000931991 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 4, 2020).
000931991 650_0 $$aFormal methods (Computer science)$$vCongresses.
000931991 650_0 $$aSystem safety$$vCongresses.
000931991 650_0 $$aSystems engineering$$vCongresses.
000931991 7001_ $$aHasan, Osman,$$d1975-$$eeditor.
000931991 7001_ $$aMallet, Frédéric,$$eeditor.
000931991 77608 $$iPrint version: $$z3030469018$$z9783030469016$$w(OCoLC)1147275398
000931991 830_0 $$aCommunications in computer and information science ;$$v1165.$$x1865-0929
000931991 852__ $$bebk
000931991 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-46902-3$$zOnline Access$$91397441.1
000931991 909CO $$ooai:library.usi.edu:931991$$pGLOBAL_SET
000931991 980__ $$aEBOOK
000931991 980__ $$aBIB
000931991 982__ $$aEbook
000931991 983__ $$aOnline
000931991 994__ $$a92$$bISE