Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
forum
Submitted by Anonymous on Tue, 04/29/2014 - 3:37pm
--------------------------------------------------------------------------------
CALL FOR PAPERS - OSPERT 2014
--------------------------------------------------------------------------------
DEADLINE EXTENDED TO MAY 2, 2014
forum
Submitted by Anonymous on Mon, 04/21/2014 - 12:56pm
--------------------------------------------------------------------------------
CALL FOR PAPERS - OSPERT 2014
--------------------------------------------------------------------------------
forum
Submitted by Anonymous on Tue, 03/25/2014 - 2:12pm
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
Submitted by Anonymous on Thu, 03/13/2014 - 1:34pm
========================================================================
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
Submitted by Katie Dey on Mon, 02/24/2014 - 9:32am
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.
