Muutke küpsiste eelistusi

E-raamat: Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 67,91 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830307754386e.html
Märksõnad: