Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings (Lecture Notes in Computer Science Book 9274) (English Edition)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, ... Science Book 10598) (English Edition)
