Certification

Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
event

Visible to the public  SCC 2014
May 04, 2014 8:00 am - May 05, 2014 5:00 pm EDT

Software Certification Consortium Meeting 2014

Co-located with High Confidence Software and Systems (HCSS) Conference

The SCC is organized to pursue the following objectives:

forum

Visible to the public OSPERT'14: Deadline extended to May 2

--------------------------------------------------------------------------------
CALL FOR PAPERS - OSPERT 2014
--------------------------------------------------------------------------------

DEADLINE EXTENDED TO MAY 2, 2014

forum

Visible to the public OSPERT'14 Call for Papers

--------------------------------------------------------------------------------
CALL FOR PAPERS - OSPERT 2014
--------------------------------------------------------------------------------

forum

Visible to the public CFP: Special Session on Mixed-Criticality System Design, Implementation and Analysis (MCSDIA) at DSD 2014 (deadline extension)

Call for Papers of Special Session on
Mixed-Criticality System Design, Implementation and Analysis (MCSDIA)
at 17th Euromicro Conference on Digital System Design (DSD), 27-29 August 2014, Verona, Italy

DESCRIPTION

forum

Visible to the public SSV 2014: Call for Papers

========================================================================

SSV 2014 Call for Papers

http://www.ssv-conference.org/

8th International Workshop on Systems Software Verification

Vienna, July 23-24, 2014
co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014.

forum

Visible to the public CfP: HCSS Conference 2014

The Fourteenth Annual HCSS Conference (2014)

Call for Presentations

Introduction

The fourteenth annual HCSS Conference will be held May 6-8, 2014 at the Historic Inns of Annapolis in Annapolis, Maryland. You are invited to submit a proposal to present a talk at this year's conference.