Meeting #6

file

Visible to the public Measuring and Assessing Software Trustworthiness: Approaches and Challenges

Submitted by pjoannou on Sun, 09/25/2011 - 11:27am. Contributor:
file

Visible to the public The Rational Design Process Used for the Darlington Shutdown Systems

Submitted by pjoannou on Sun, 09/25/2011 - 11:24am. Contributor:
file

Visible to the public Certification of Health IT Software

Submitted by pjoannou on Sun, 09/25/2011 - 11:19am. Contributor:
file

Visible to the public The Tabular Expressions Toolbox for Matlab/Simulink

Submitted by pjoannou on Sun, 09/25/2011 - 11:16am. Contributors:
file

Visible to the public Assurance Cases for Formally Demonstrated Conformance Relations

Submitted by pjoannou on Sun, 09/25/2011 - 11:13am. Contributor:
file

Visible to the public Regulation of Patient Management Software in Canada

Submitted by pjoannou on Sun, 09/25/2011 - 11:06am. Contributor:
file

Visible to the public Assurance Cases

Submitted by pjoannou on Sun, 09/25/2011 - 11:01am. Contributor:
file

Visible to the public Regulatory perspectives on software for nuclear applications

Submitted by pjoannou on Sun, 09/25/2011 - 10:56am. Contributor:
file

Visible to the public The Recent Trend to Assurance Cases – Pros and Cons

Submitted by pjoannou on Sun, 09/25/2011 - 10:52am. Contributor: