000704935 000__ 02560cam\a2200493Ki\4500
000704935 001__ 704935
000704935 005__ 20230306135859.0
000704935 006__ m\\\\\o\\d\\\\\\\\
000704935 007__ cr\un\nnnunnun
000704935 008__ 140520s2014\\\\sz\a\\\\o\\\\\101\0\eng\d
000704935 020__ $$a9783319075129 $$qelectronic book
000704935 020__ $$a3319075128 $$qelectronic book
000704935 020__ $$z9783319075112
000704935 0247_ $$a10.1007/978-3-319-07512-9$$2doi
000704935 035__ $$aSP(OCoLC)ocn880291580
000704935 035__ $$aSP(OCoLC)880291580
000704935 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dCOO$$dOCLCO$$dYDXCP
000704935 049__ $$aISEA
000704935 050_4 $$aQA267
000704935 08204 $$a004$$223
000704935 1112_ $$aABZ (Conference)$$n(4th :$$d2014 :$$cToulouse, France)
000704935 24510 $$aABZ 2014 :$$bthe landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /$$cFrédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe (eds.).
000704935 264_1 $$aCham :$$bSpringer,$$c2014.
000704935 300__ $$a1 online resource (xii, 161 pages) :$$billustrations.
000704935 336__ $$atext$$btxt$$2rdacontent
000704935 337__ $$acomputer$$bc$$2rdamedia
000704935 338__ $$aonline resource$$bcr$$2rdacarrier
000704935 4901_ $$aCommunications in Computer and Information Science,$$x1865-0929 ;$$v433
000704935 500__ $$aInternational conference proceedings.
000704935 500__ $$aIncludes author index.
000704935 506__ $$aAccess limited to authorized users.
000704935 520__ $$aThis volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
000704935 588__ $$aDescription based on online resource; title from PDF title page (SpringerLink, viewed May 20, 2014).
000704935 650_0 $$aMachine theory$$vCongresses.
000704935 650_0 $$aFormal methods (Computer science)$$vCongresses.
000704935 650_0 $$aLanding gear$$xComputer simulation$$vCongresses.
000704935 650_0 $$aB method (Computer science)$$vCongresses.
000704935 650_0 $$aZ (Computer program language)$$vCongresses.
000704935 7001_ $$aBoniol, Frederic,$$eeditor.
000704935 830_0 $$aCommunications in computer and information science ;$$v433.$$x1865-0929
000704935 85280 $$bebk$$hSpringerLink
000704935 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-07512-9$$zOnline Access
000704935 909CO $$ooai:library.usi.edu:704935$$pGLOBAL_SET
000704935 980__ $$aEBOOK
000704935 980__ $$aBIB
000704935 982__ $$aEbook
000704935 983__ $$aOnline
000704935 994__ $$a92$$bISE