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.
Event
NSV 2015
The 8th  International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA Web Page: http://nsv2015.informatik.uni-freiburg.de/ Scope
Submitted by Anonymous on November 26th, 2014
Event
SMC 2015
Big Data Analytics for Human-Centric Systems
Submitted by Anonymous on November 20th, 2014
Event
DSN 2015
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.
Submitted by Anonymous on November 20th, 2014
Event
ECRTS '15
EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015 Organized by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org THEME AND TOPICS OF INTEREST ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.
Submitted by Anonymous on November 4th, 2014
Event
ICESS 2015
The 12th IEEE International Conference on Embedded Software and Systems Co-located with HPCC 2015 and CSS 2015 *IMPORTANT DATES*
Submitted by Anonymous on November 4th, 2014
Event
ISORC 2015
The 18th IEEE International Symposium On Real-Time Computing (ISORC 2015) Scope and Topics of Interest ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. We invite original submissions from academia and industry pertaining to all aspects of ORC technology. These include, but are not limited to:
Submitted by Anonymous on November 4th, 2014
Event
SIES 2015
10th IEEE Symposium on Industrial Embedded Systems - SIES 2015 University of Siegen Conference web site:    www.sies2015.com Submission system:      https://easychair.org/conferences/?conf=sies2015
Submitted by Anonymous on October 24th, 2014
Event
RTA 2015
26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS 29 June - 1 July, 2015, Warsaw, Poland co-located with TLCA, as part of RDP 2015 http://rdp15.mimuw.edu.pl/ RTA is the major forum for the presentation of research on all aspects of rewriting.  Topics of interest include:
Submitted by Anonymous on October 24th, 2014
Event
FIT-IoT-LAB
Internet of Things Conference (IoT) FIT- IoT-LAB   November 6 & 7 2014, Grenoble, France Scope
Submitted by Anonymous on October 20th, 2014
Event
RAPIDO'15
RAPIDO'15  7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO  Held in conjunction with the HiPEAC Conference  (http://www.hipeac.net/conference)
Submitted by Anonymous on October 20th, 2014
Subscribe to Validation and Verification