Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, Certification: 6th International Conference, RSSRail ... (Lecture Notes in Computer Science, 16236)

Constructive Approaches for Security Analysis and Design of Embedded Systems: Second International...

Verification and Evaluation of Computer Communication Systems: 18th International Conference, VECoS 2025,...

AI Technologies for Information Systems and Management Science: Proceedings of 6th International...

Tools and Algorithms for the Construction Analysis of Systems: 32nd International Conference,...