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
JRWRTC 2016
10th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2016)
in conjunction with the 24th International Conference on Real-Time and Network Systems (RTNS 2016)
Brest, France | October 19-21, 2016 | http://rtns16.univ-brest.fr/
Event
ICECCS 2016
21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016)
Overview
PUBLIC RELEASE: 22-JUN-2016
Workshop explores how artificial intelligence can be engineered for safety and control
Carnegie Mellon and White House Office of Science and Technology Policy will co-host
Event
CyPhy 2016
Call for Papers
Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016)
Held in conjunction with ESWEEK 2016
October 6 2016 | Pittsburgh, PA, USA | http://www.cyphy.org/
Event
EXE 2016
2nd International Workshop on Executable Modeling (EXE 2016)
co-located with MODELS 2016
We are pleased to invite you to submit papers to the Second International Workshop on Executable Modeling (EXE 2016), held in conjunction with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Saint-Malo, France, in October, 2016.
Event
RSP 2016
27th IEEE International Symposium on Rapid System Prototyping (RSP 2016)
as part of ESWeek
Event
CRV 2016
The 3rd International Competition on Runtime Verification (CRV 2016)
held with RV 2016
In Association with COST Action “Runtime Verification beyond Monitoring”
September 23-30 2016 | Madrid, Spain | https://rv2016.imag.fr/?page_id=188
Event
EWiLi'16
EWiLi'16, the 6th Embedded Operating System Workshop
held in conjunction with ESWEEK
2-7 October 2016 | PITTSBURGH, PA, USA | http://syst.univ-brest.fr/ewili2016
Aim and Scopes
Event
SOCNE 2016
CALL FOR PAPERS - Submission deadline May 20, 2016
Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2016)
in conjunction with ETFA 2016
Berlin, Germany | 23-27,September 06-09, 2016 | http://www.socne.org
Selected Topics
Event
MSWiM 2016
19th ACM*/IEEE* 19th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2016)
*Pending Upon Approval