Theoretical aspects of cyber-physical systems.
Event
WMCIS’2014
Workshop on Mixed Criticality for Industrial Systems (WMCIS’2014): Challenges of Mixed Criticality approaches and benefits for the industry
Submitted by Anonymous on March 12th, 2014
Event
MeMo 2014
1st International Workshop on Meta Models for Process Languages (MeMo) 2014
affiliated to DisCoTec (
Submitted by Anonymous on March 12th, 2014
Event
RTSOPS 2014
5th Real-Time Scheduling Open Problems Seminar
Madrid, Spain - July 8, 2014
Submitted by Anonymous on March 12th, 2014
Event
GraBaTs 2014
8th International Workshop on Graph-Based Tools
A satellite event of ICGT'14
Submitted by Anonymous on March 12th, 2014
Event
JTRES 2014
The 12th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2014
MOTIVATION
Over 90% of all microprocessors are now used for real-time and
Submitted by Anonymous on March 12th, 2014
Event
GCM 2014
-----------------------------------------------------------------------
CALL FOR PAPERS
Submitted by Anonymous on March 12th, 2014
Event
iFM 2014
11th International Conference on integrated Formal Methods, iFM 2014
Co-located with the 11th International Symposium on Formal Aspects of
Component Software, FACS 2014
Submitted by Anonymous on March 12th, 2014
Event
FACS 2014
The 11th International Symposium on Formal Adspects of Comonent Software
Co-located with iFM 2014: The 11th International Conference on Integrated Formal Methods
Component-based software development is a paradigm that has been proposing sound engineering principles and techniques for coping with the complexity of software-intensive systems.
Submitted by Anonymous on March 12th, 2014
Event
TAP 2014
8th International Conference on TESTS AND PROOFS
Scope
=====
The TAP conference is devoted to the synergy of proofs and tests,
to the application of techniques from both sides and their combination
Submitted by Anonymous on March 12th, 2014