Muutke küpsiste eelistusi

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 911, 2021, Proceedings 1st ed. 2021 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 167 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 33 Illustrations, color; 8 Illustrations, black and white; X, 167 p. 41 illus., 33 illus. in color., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 12709
  • Ilmumisaeg: 23-May-2021
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030775429
  • ISBN-13: 9783030775421
Teised raamatud teemal:
  • Pehme köide
  • Hind: 57,96 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 68,19 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 911, 2021, Proceedings 1st ed. 2021Suurem pilt
  • Formaat: Paperback / softback, 167 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 33 Illustrations, color; 8 Illustrations, black and white; X, 167 p. 41 illus., 33 illus. in color., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 12709
  • Ilmumisaeg: 23-May-2021
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030775429
  • ISBN-13: 9783030775421
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783030775421.html
Märksõnad:
This 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. 
Regular 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 Articlesof 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.