ERTSS 2012 | 6th International Congress & Exhibition
LAST NEWS
Tarif  spécial inscriptions pour les étudiants en licence, master ou élèves ingénieurs.
Voir page registration
 
IMPORTANT DATES
Abstract submission closed
Acceptance notification closed:
Sept. 30th, 2011
Final paper submission & Author registration 
Dec. 10th, 2011
Congress:
Feb. 1st - 3rd, 2012
 
Registration for exhibitions
Information and registration:
March-Dec. 2011
Select your contacts for meetings:
Jan.16th to 27th, 2012
Exhibition and BtoB meeting:
Feb. 1st - 3rd, 2012
 
DOWNLOAD
 
Newsletter N°3 December 2011
Newsletter N°4 January 2011
Exhibition reservation form
Sponsorship Opportunities

 

 

VENUE
Centre de Congrès Pierre Baudis
11, esplanade Compans Caffarelli 31000 Toulouse - France Web site

CONTACTS

Registration
Valérie ALIDOR
Tel +33 (0)1 56 90 37 02
 
Exhibition and business meetings
Xavier SICARD
Tel: +33(0)1 41 86 41 10
Philippe ANGEL
Tél: +33(0)1 41 86 41 24

 

CONFERENCE PROGRAMME BY TOPIC: "OPEN DO"

 Session 7A |
 
 
10:30-12:30     Room Auditorium St Exupery

> Session7A - Open-Do
Session Chair: Cyrille Comar - AdaCore, France 

7A.1 Integrating Formal Program Verification with Testing
Cyrille Comar - AdaCore, France
Johannes Kanig - AdaCore, France
Yannick Moy - AdaCore, France  
7A.2 Compilation of Heterogeneous Models: Motivations and Challenges
Matteo Bordin - AdaCore, France
Tonu Naks - IB Krates, Estonia
Andres Toom - IB Krates, Estonia
Marc Pantel - IRIT-ENSEEIHT, Université de Toulouse, France
 
7A.3 Formalization and Comparison of MCDC and Object Branch Coverage Criteria
Cyrille Comar - Adacore, France
Jérôme Guitton - Adacore, France
Olivier Hainque - Adacore, France
Thomas Quinot - Adacore, France
 
7A.4 Agility & Lean for Avionic Software
 Emmanuel Chenu - Thales Avionics, France 

Powered by Moonasoft Interactive