Integrated Modeling Workflow for Security Assurance.

Min-Young Nam, Julien Delange, Peter H. Feiler

Browse the full ISoLA paper archive.