001436879 000__ 04413cam\a2200685\i\4500
001436879 001__ 1436879
001436879 003__ OCoLC
001436879 005__ 20230309004118.0
001436879 006__ m\\\\\o\\d\\\\\\\\
001436879 007__ cr\un\nnnunnun
001436879 008__ 210527s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001436879 019__ $$a1262682233$$a1264830616
001436879 020__ $$a9783030775438$$q(electronic bk.)
001436879 020__ $$a3030775437$$q(electronic bk.)
001436879 020__ $$a9783030775445$$q(print)
001436879 020__ $$a3030775445
001436879 020__ $$z9783030775421
001436879 020__ $$z3030775429
001436879 0247_ $$a10.1007/978-3-030-77543-8$$2doi
001436879 035__ $$aSP(OCoLC)1252848086
001436879 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dVT2$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCQ
001436879 049__ $$aISEA
001436879 050_4 $$aQ325.5$$b.A29 2021
001436879 08204 $$a006.3/1$$223
001436879 1112_ $$aABZ (Conference)$$n(8th :$$d2021 :$$cOnline)
001436879 24510 $$aRigorous state-based methods :$$b8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /$$cAlexander Raschke, Dominique Méry (eds.).
001436879 24630 $$aABZ 2021
001436879 264_1 $$aCham :$$bSpringer,$$c[2021]
001436879 264_4 $$c©2021
001436879 300__ $$a1 online resource :$$billustrations (chiefly color)
001436879 336__ $$atext$$btxt$$2rdacontent
001436879 337__ $$acomputer$$bc$$2rdamedia
001436879 338__ $$aonline resource$$bcr$$2rdacarrier
001436879 347__ $$atext file
001436879 347__ $$bPDF
001436879 4901_ $$aLecture notes in computer science ;$$v12709
001436879 4901_ $$aLNCS sublibrary: SL1. Theoretical computer science and general issues
001436879 500__ $$aInternational conference proceedings.
001436879 5050_ $$aRegular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articles of the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant.
001436879 506__ $$aAccess limited to authorized users.
001436879 520__ $$aThis book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
001436879 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 27, 2021).
001436879 650_0 $$aMachine learning$$vCongresses.
001436879 650_0 $$aMachine theory$$vCongresses.
001436879 650_6 $$aApprentissage automatique$$vCongrès.
001436879 650_6 $$aThéorie des automates$$vCongrès.
001436879 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001436879 655_7 $$aConference papers and proceedings.$$2lcgft
001436879 655_7 $$aActes de congrès.$$2rvmgf
001436879 655_0 $$aElectronic books.
001436879 7001_ $$aRaschke, Alexander.,$$eeditor.
001436879 7001_ $$aMéry, Dominique.$$eeditor.
001436879 830_0 $$aLecture notes in computer science ;$$v12709.
001436879 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001436879 852__ $$bebk
001436879 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-77543-8$$zOnline Access$$91397441.1
001436879 909CO $$ooai:library.usi.edu:1436879$$pGLOBAL_SET
001436879 980__ $$aBIB
001436879 980__ $$aEBOOK
001436879 982__ $$aEbook
001436879 983__ $$aOnline
001436879 994__ $$a92$$bISE