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
GCM 2014
-----------------------------------------------------------------------
CALL FOR PAPERS
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
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.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
RoboSense 2014
The Third International Workshop on Cooperative Robots and Sensor Networks
OVERVIEW
RACING 2014
CALL FOR PAPERS
SETS 2104
1st International Workshop about Sets and Tools (SETS 2014)
Affiliated to ABZ 2014
CORCS 2014
5th IEEE International Workshop on
Component-Based Design of
ACM SenSys 2014
Sensors have become an essential part of computing systems and applications.
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.