Science of Security Lablet Kickoff Meeting Read more about Science of Security Lablet Kickoff Meeting
Measuring and Assessing Software Trustworthiness: Approaches and Challenges Read more about Measuring and Assessing Software Trustworthiness: Approaches and Challenges
The Rational Design Process Used for the Darlington Shutdown Systems Read more about The Rational Design Process Used for the Darlington Shutdown Systems
The Tabular Expressions Toolbox for Matlab/Simulink Read more about The Tabular Expressions Toolbox for Matlab/Simulink
Assurance Cases for Formally Demonstrated Conformance Relations Read more about Assurance Cases for Formally Demonstrated Conformance Relations
Workflow Management for Health Care Processes Meets Formal Verification Read more about Workflow Management for Health Care Processes Meets Formal Verification
Regulation of Patient Management Software in Canada Read more about Regulation of Patient Management Software in Canada
Regulatory perspectives on software for nuclear applications Read more about Regulatory perspectives on software for nuclear applications