Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Browse the full DASC paper archive.