Rigorous State-Based Methods
Springer International Publishing (Verlag)
978-3-030-48076-9 (ISBN)
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).
Keynotes and Invited Papers.- Regular Research Articles.- Short Articles.- Articles Contributing to the Case Study.- Short Articles of the PhD-Symposium (Work in Progress).
Erscheinungsdatum | 16.05.2020 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XII, 428 p. 675 illus., 66 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 670 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Schlagworte | Applications • architecture verification and validation • Artificial Intelligence • Computer Hardware • computer programming • Computer Science • Computer systems • conference proceedings • digital signal processing • Embedded Systems • Field Programmable Gate Array (FPGA) • Formal Logic • formal methods • Fuzzy Sets • Informatics • Knowledge-Based System • Mobile Robots • Model Checking • object-oriented programming • Research • Signal Processing • software architecture • Software Design • Software engineering • theoretical computer science |
ISBN-10 | 3-030-48076-3 / 3030480763 |
ISBN-13 | 978-3-030-48076-9 / 9783030480769 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich