Megha Quamara, Gabriel Pedroza, Brahim Hamid. Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. In Stefano Marrone 0001, Martina de Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Stefano Marrone 0002, Roberto Nardone, Francesco Flammini, Valeria Vittorini, editors, Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings. Volume 1656 of Communications in Computer and Information Science, pages 18-31, Springer, 2022. [doi]
Abstract is missing.