HCSS 2001

file

Visible to the public Tools to Support Enterprise Assurance Arguments

Submitted by TimTh on Wed, 02/15/2012 - 4:01pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public The Survivable Network Analysis Method: Assessing Survivability of Critical Systems

Submitted by Tom Longstaff on Wed, 02/15/2012 - 3:47pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public Disappearing Formal Methods

Submitted by John Rushby on Wed, 02/15/2012 - 3:43pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public Program Verification and the Church-Rosser Theorem

Submitted by brad_martin on Tue, 02/14/2012 - 12:36pm. Contributor:

Presented as part of the 2001 HCSS conference.