Product Description

Rigorous State-Based Methods

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

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.

Link X: Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

eBook Details

Publish Date: June 20, 2024

Publisher: Springer Nature Switzerland

Author: Silvia Bonfanti (ed.); Angelo Gargantini (ed.); Michael Leuschel (ed.); Elvinia Riccobene (ed.); Patrizia Scandurra (ed.)

Language: English

This ebook is available in PDF (encrypted)