Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Browse the full EDCC paper archive.