A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.

Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frdrique Valle

Browse the full MODELS paper archive.