National HCSS Conference 2012

file

Visible to the public Formal Methods and DO-178C

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

Presented as part of the 2012 HCSS conference.

Abstract:

file

Visible to the public Program Synthesis for Performance

Submitted by TimTh on Sun, 04/22/2012 - 11:03pm. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract

event

Visible to the public  Twelfth Annual HCSS Conference
May 06, 2012 5:00 am - May 11, 2012 2:00 pm EDT

Submitted by adyson on Mon, 04/16/2012 - 7:17pm

A world class community of researchers will gather in Annapolis, MD for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.