NEWS

Presentations of the invited speakers now available !

Dear Participants, You can now (...)
[+] Read

ICECCS 2012 List of DOI’s

Dear Participants, ICECCS 2012 (...)
[+] Read

Schedule of the conference now available

The full program of the conference (...)
[+] Read

Join the group ICECCS 2012 on LinkedIn

The Conference ICECCS 2012 has a (...)
[+] Read



 


Presentations of the invited speakers now available !

Dear Participants,

You can now download the presentation of the 3 ICECCS 2012 invited speakers here below:

  • Presentation of Albert Benveniste, INRIA: Contracts and Interfaces in the context of Requirements Engineering
    PDF - 2.5 Mb
  • Presentation of Christophe Aussagues, CEA List: Deterministic and dependable (also known as predictable and robust) embedded real-time systems…with the OASIS and PharOS technology
    PDF - 3.2 Mb
  • Presentation of Jim Woodcock, York University: Formal Modelling and Analysis of Systems of Systems in CML
    PDF - 159.4 kb