Rigorous State-Based Methods: 10th Inteational Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings (Lecture Notes in Computer Science, 14759)

by: Silvia Bonfanti (Editor),Angelo Gargantini (Editor),Michael Leuschel (Editor),Elvinia Riccobene (Editor),Patrizia Scandurra (Editor)&1more

Publisher: Springer

Edition: 2024th

Publication Date: 2024/6/21

Language: English

Print Length: 413 pages

ISBN-10: 3031637895

ISBN-13: 9783031637896

Book Description

This book constitutes the refereed proceedings of the 10th Inteational 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.

About the Author

This book constitutes the refereed proceedings of the 10th Inteational 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.