Related Books
Language: en
Pages: 174
Pages: 174
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 424
Pages: 424
Type: BOOK - Published: 2023-02-10 - Publisher: Springer Nature
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2024-08-26 - Publisher: Springer
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Metho
Language: en
Pages: 386
Pages: 386
Type: BOOK - Published: 2023-05-14 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023
Language: en
Pages: 237
Pages: 237
Type: BOOK - Published: 2023-09-26 - Publisher: Springer Nature
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verifica
