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.
The 14th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2016)  6th – 7th Oct 2016 |  Pittsburgh, USA | http://www.estimedia.org/ The IEEE ESTIMedia’16 is organized as a part of the Embedded Systems Week 2016 
Submitted by Anonymous on February 24th, 2016
Event
ERMAVSS 2016
International Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems  (ERMAVSS) Dresden, Germany (co-located with DATE) | Friday March 18th,  2016 | http://ermavss.iroctech.com/ About the Workshop
Submitted by Anonymous on February 15th, 2016
Event
CONCUR 2016
The 27th International Conference on Concurrency Theory (CONCUR2016) The 27th International Conference on Concurrency Theory will take place in Québec City, Canada, 23-26 August 2016. The event will be co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). 
Submitted by Anonymous on February 15th, 2016
The National Institute of Standards and Technology (NIST) launched the 2016 Global City Teams Challenge (GCTC; see http://www.nist.gov/cps/sagc.cfm) with a kickoff meeting on November 12-13, 2015, in Gaithersburg, MD.
Submitted by Anonymous on February 12th, 2016
Event
GCM 2016
Seventh International Workshop on Graph Computation Models (GCM 2016) A satellite event of STAF 2016 
Submitted by Anonymous on February 11th, 2016
Event
ReCoSoC 2016
11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) Over the past decade ReCoSoC has established itself as a international reference event for research in the areas of reconfigurable and communication-centric systems-on-chip. Its informal and dynamic philosophy encourages technical and scientific interactions of both academic and industrial participants through presentations and special sessions reporting latest advances in the related areas. 
Submitted by Anonymous on February 8th, 2016
The 35th International Conference on Computer Safety, Reliability and Security (SAFECOMP2016) ABOUT SAFECOMP
Submitted by Anonymous on February 3rd, 2016
Event
SEsCPS 2016
2nd INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SEsCPS) In conjunction with ICSE 2016 May 14-22, 2016 | Austin, TX, USA) | http://d3s.mff.cuni.cz/conferences/sescps2016/ INTRODUCTION
Submitted by Anonymous on February 3rd, 2016
Event
WCET 2016
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) Toulouse, France | 5th July 2016 | http://wcet2016.compute.dtu.dk                in conjunction with the Euromicro Conference on Real-Time Systems (ECRTS) WCET 2016 is kindly supported by TACLe (www.tacle.eu), an European COST-Action on Timing Analysis on Code-Level. GOALS AND TOPICS
Submitted by Anonymous on January 28th, 2016
Event
SAMOS XVI
International Conference on Embedded Computer Systems:  Architectures, Modeling, and Simulation (SAMOS XVI) Samos, Greece | July 18-21, 2016 | http://www.samos-conference.com
Submitted by Anonymous on January 28th, 2016
Subscribe to Validation and Verification