Theoretical aspects of cyber-physical systems.
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
Event
SETS 2104
1st International Workshop about Sets and Tools (SETS 2014)
Affiliated to ABZ 2014
Submitted by Anonymous on March 12th, 2014
Event
CORCS 2014
5th IEEE International Workshop on
Component-Based Design of
Submitted by Anonymous on March 12th, 2014
Event
ACACES 2014
Tenth International Summer School on
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems
Fiuggi, Italy
Sunday July 13 - Saturday July 19, 2014
Submitted by Anonymous on March 12th, 2014
Event
MES 2014
Second ACM International Workshop on Manycore Embedded Systems (MES)
in conjunction with the 41st Internat
Submitted by Anonymous on March 12th, 2014
Program Agenda
National Science Foundation - 2014 Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems
Submitted by Emily Wehby on March 6th, 2014