Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
SAMOS is a unique conference. It deals with embedded systems (sort of)   but that is not what makes it different.
Submitted by Anonymous on December 19th, 2013
Event
ABZ 2014
4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z  The ABZ 2014 conference is organized in Toulouse
Submitted by Anonymous on December 19th, 2013
Event
FPL2014
24th International Conference on Field Programmable Logic and Applications The International Conference on Field Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic.
Submitted by Anonymous on December 19th, 2013
Event
CyPhy'14
CyPhy'14 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines.
Submitted by Anonymous on December 19th, 2013
Event
MECO 2014
   MECO-2014 Conference VENUE: Hotel Slovenska Plaza, Budva, Montenegro. DATES: 15-19, June 2014 ABOUT THE EVENT The 3rd Mediterranean Conference on Embedded Computing (MECO 2014) is a continuation of very successful MECO events (MECO 2012, MECO 2013). It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems.
Submitted by Anonymous on November 12th, 2013
Event
ODES-11
Optimizations are crucial to meet the performance, power and cost requirements that DSP and embedded systems have. The aim of the ODES workshop is to give the opportunity to researchers and practitioners working on this, to share their findings and get feedback.
Submitted by Anonymous on October 31st, 2013
Event
FM 2014
FM 2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is
Submitted by Anonymous on October 15th, 2013
Event
WRC 2014
8th  HiPEAC Workshop on Reconfigurable Computing
Submitted by Anonymous on October 15th, 2013
Event
ViPES '2014
2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems May, 23rd, Phoenix, USA held in conjunction to the IPDPS 2014 conference, May 19-23rd, 2014   Background The 2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2014) will be held in Phoenix, USA in May 2014.
Submitted by Anonymous on October 15th, 2013
ICTSS 2013 (http://ictss.sabanciuniv.edu) will be held in Istanbul on Nov 13-15, 2013.
Submitted by Anonymous on October 7th, 2013
Subscribe to Validation and Verification