Rigorous State-Based Methods
Broschiertes Buch

Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Herausgegeben: Bonfanti, Silvia; Gargantini, Angelo; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia
Versandkostenfrei!
Versandfertig in 6-10 Tagen
56,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
28 °P sammeln!
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.

The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.