Del 12709
Rigorous State-Based Methods
7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
AvAlexander Raschke,Dominique Méry
Häftad, Engelska, 2020
Del 12071 i serien Lecture Notes in Computer Science
561 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 12750
Logic, Computation and Rigorous Methods
Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
Häftad, 2021
561 kr
Del 14010
Rigorous State-Based Methods
Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
Häftad, 2023
833 kr
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
Häftad, 2021
1 073 kr
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
Inbunden, 2020
1 073 kr
Del 8687
Del 11163
Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez
Häftad, 2018
561 kr