MCS 2014

Submitted by Anonymous on
  2nd International workshop on the Integration of mixed-criticality subsystems on multi-core and manycore processors 21-22 January 2014   Background   Modern embedded applications typically integrate a multitude of functionalities with potentially different criticality levels into a single system. Without appropriate preconditions, the integration of mixed-criticality subsystems can lead to a significant and potentially unacceptable increase of engineering and certification costs.

SpringSim'14

Submitted by Anonymous on

The Spring Simulation Multi-Conference 2014 (SpringSim'14) brings leading experts in various domains of Modeling and Simulation together. The Theory of Modeling and Simulation (TMS/DEVS 2014) will be a sub-conference of SpringSim.

The SpringSim'14 Organization Committee is:

ABZ 2014

Submitted by Anonymous on
4th International ABZ 2014 Conference

ASM, Alloy, B, TLA, VDM, Z 

The ABZ 2014 conference is organized in Toulouse

ECYPS 2014

Submitted by Anonymous on
2nd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2014)   FOCUS: Embedded systems, being inseparable parts of certain larger (embedding) systems, constitute information-processing parts of cyber-physical systems composed of information-processing and physical sub-systems.

IMCIC 2014

Submitted by Anonymous on
Complexity, Informatics and Cybernetics: IMCIC 2014 jointly withThe 20th International Conference on Information Systems Analysis and Synthesis: ISAS 2014   Motives and Purpose   Conceptual and instrumental relationships among Complexity, Informatics and Cybernetics are continuously growing, cross-fertilizing each other and generating important theoretical and technological synergies.

QRMSE 2014

Submitted by Anonymous on
Special Track on Qualitative Research and Methodologies in Science and Engineering Co-located with IMCIC 2014   Qualitative research and methodologies have been effectively used, for a long time in Social Sciences and they are increasingly being used in technological innovation, information systems devel

FPL2014

Submitted by Anonymous on
24th International Conference on Field Programmable Logic and Applications

The International Conference on Field Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic.

CyPhy'14

Submitted by Anonymous on
CyPhy'14 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines.

ECMFA 2014

Submitted by Anonymous on

Model-Based Engineering (MBE) is an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality.

CAV 2014

Submitted by Anonymous on

26th International Conference on Computer Aided Verification (CAV’14)
Part of Vienna Summer of Logic (VSL'14)
18-22 July 2014, Vienna, Austria

CAV 2014 is the 26th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.

Subscribe to