ผู้เขียน: Paolo Masci

This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: ?1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskho …

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Ge …