Andere Kunden interessierten sich auch für
![Rigorous State-Based Methods]( "Rigorous State-Based Methods")
Rigorous State-Based Methods44,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Practice]( "Leveraging Applications of Formal Methods, Verification and Validation. Practice")
Leveraging Applications of Formal Methods, Verification and Validation. Practice48,99 €![Formal Techniques for Safety-Critical Systems]( "Formal Techniques for Safety-Critical Systems")
Formal Techniques for Safety-Critical Systems37,99 €![Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops]( "Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops")
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops37,99 €![Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops]( "Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops")
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops37,99 €![Model-Based Safety and Assessment]( "Model-Based Safety and Assessment")
Model-Based Safety and Assessment48,99 €![Theoretical Aspects of Computing ¿ ICTAC 2020]( "Theoretical Aspects of Computing ¿ ICTAC 2020")
Theoretical Aspects of Computing ¿ ICTAC 202037,99 €
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. 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. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).
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. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).