Lecture Notes in Computer Science: 9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings

Katsaros, Panagiotis

This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.

The 28 full papers were carefully reviewed and selected from 39 submissions. The proceedings focus on System Safety Assessment, Cybersecurity Analysis, Safe Machine Learning, Probabilistic Analysis, Model-based Design and Safety Assessment, Machine Learning and Automata Learning for System Safety, Failure Detection Isolation and Recovery Analysis. 

Details

Published by: Springer

Publication Date: 2025-09-21

Format: Paperback

ISBN-13: 9783032050724

DOI: 10.1007/978-3-032-05073-1

Dimensions: 235cm x155cm

Pages: 446