Industry

The document was issued by industry or industrial organization.
file

Visible to the public Formal Methods and DO-178C

Submitted by dcofer on Tue, 05/01/2012 - 4:09pm. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract:

file

Visible to the public Introducing Cyberlogic

Submitted by Natarajan Shankar on Mon, 02/20/2012 - 2:51pm. Contributors:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Reliability Testing of COTS Security-based Software Applications

Submitted by TimTh on Mon, 02/20/2012 - 2:47pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Cryptol: A Domain Specific Language for Cryptography

Submitted by brad_martin on Wed, 02/15/2012 - 4:55pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Cryptol Tutorial, Overview and Elements

Submitted by Launchbury on Wed, 02/15/2012 - 4:18pm. Contributor:

Presented as part of the 2002 HCSS conference.

See also: Cryptol Tutorial, Worked Example

file

Visible to the public Automated Reliability Testing — ART

Submitted by adyson on Wed, 02/15/2012 - 3:56pm. Contributor:

Presented as part of the 2001 HCSS conference.