Vor Ort
Merkzettel Warenkorb
  • Produktbild: Rigorous State-Based Methods
  • Produktbild: Rigorous State-Based Methods
Band 14010 - 12%

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science
12% sparen

71,99 € UVP 82,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.05.2023

Herausgeber

Uwe Glässer + weitere

Verlag

Springer

Seitenzahl

380

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-33162-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.05.2023

Herausgeber

Verlag

Springer

Seitenzahl

380

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-33162-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Rigorous State-Based Methods
  • Produktbild: Rigorous State-Based Methods

  • Pattern-based Refinemnt Generation Through Domain Specifi Languages.- Inductive Construction in B with the Theory Plugin.- Validation of Formal Models by Interactive Simulation.- Thread-Local, Step-Local Proof Obligations for Refnement of State-Based Concurrent Systems.- Encoding TLA+ Proof Obligations Safely for SMT.- Compositional I/O Abstract State Machines.- Crucible Tools for Test Generation and Animation of Alloy Models.- Modelling an Automotive Software System with TASTD.- TASTD a real-time extension for ASTD.- Validation by Abstraction and Refiement.- Verifying Event-B Hybrid Models using Cyclone.- Exploration of Reflectie ASMs for Security.- Standalone Event-B models analysis relying on the EB4EB meta-theory.- Adding records to Alloy.- Designing Secure Systems using Hierarchical STPA and Event-B.- Behavioural Theory of Reflectie Algorithms.- Specification in the Event-B Institution.- Verifying temporal relational models with Pardinus.- AMAN Case Study.- Analysis of a Safety-critical Interactive System through VOs.- Task Model Design and Analysis with Alloy.- Modeling and Verifying an Arrival Manager using Event-B.- Formal MVC: a Pattern for the Integration of ASM Specification in UI Development.- Exploring a methodology for formal verificatio of safety-critical systems.- Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems.- A framework for formal verificatio and validation of railway systems.- Reconstruction of TLAPS proofs solved by veriT in Lambdapi.