LEADER 03248nam 22007095 450 001 9910349429803321 005 20230222233618.0 010 $a3-319-91271-2 024 7 $a10.1007/978-3-319-91271-4 035 $a(CKB)3850000000031363 035 $a(DE-He213)978-3-319-91271-4 035 $a(MiAaPQ)EBC6295681 035 $a(PPN)227403401 035 $a(EXLCZ)993850000000031363 100 $a20180507d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAbstract State Machines, Alloy, B, TLA, VDM, and Z $e6th International Conference, ABZ 2018, Southampton, UK, June 5?8, 2018, Proceedings /$fedited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XIV, 432 p. 83 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10817 311 $a3-319-91270-4 320 $aIncludes bibliographical references and index. 327 $a Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10817 606 $aMachine theory 606 $aAlgorithms 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aArtificial intelligence. 615 14$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 676 $a006.31 702 $aButler$b Michael$f1967-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRaschke$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHoang$b Thai Son$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReichl$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349429803321 996 $aAbstract State Machines, Alloy, B, TLA, VDM, and Z$92026686 997 $aUNINA