Registration
This shows you the differences between two versions of the page.
industry [2014/07/11 13:36] braibant [Organizers] |
industry [2014/07/11 14:45] (current) plateau [Program] |
||
---|---|---|---|
Line 12: | Line 12: | ||
* 14h00 : Introduction | * 14h00 : Introduction | ||
- | * 14h05 : Emmanuel Ledinot ([[http://www.dassault-aviation.com/ | Dassault Aviation]]) //Analyse de valeur ² : regard sur 25 ans de méthodes formelles dans le secteur aéronautique// {{:av2_regard25ans_fm_final_diffusion.pdf|(pdf)}} * 14h50 : Jean-Louis Colaço ([[http://www.esterel-technologies.com/ | Esterel-Technologies]]) //SCADE: un langage formel pour l'embarqué critique// {{:slides_estereltech_280414.pdf|(pdf)}} | + | * 14h05 : Emmanuel Ledinot ([[http://www.dassault-aviation.com/ | Dassault Aviation]]) //Analyse de valeur ² : regard sur 25 ans de méthodes formelles dans le secteur aéronautique// {{:av2_regard25ans_fm_final_diffusion.pdf|(pdf)}} |
+ | * 14h50 : Jean-Louis Colaço ([[http://www.esterel-technologies.com/ | Esterel-Technologies]]) //SCADE: un langage formel pour l'embarqué critique// {{:slides_estereltech_280414.pdf|(pdf)}} | ||
* 15h15 : Benjamin Monate ([[http://trust-in-soft.com/ | TrustInSoft]]) //TrustInSoft : des méthodes formelles pour donner confiance dans les composants logiciels existants// {{::2014_04_26_trustinsoft_talk_1_.pdf|(pdf)}} | * 15h15 : Benjamin Monate ([[http://trust-in-soft.com/ | TrustInSoft]]) //TrustInSoft : des méthodes formelles pour donner confiance dans les composants logiciels existants// {{::2014_04_26_trustinsoft_talk_1_.pdf|(pdf)}} | ||
Line 78: | Line 79: | ||
===== Organizers ===== | ===== Organizers ===== | ||
* [[emmanuel.chailloux@lip6.fr|Emmanuel Chailloux]] | * [[emmanuel.chailloux@lip6.fr|Emmanuel Chailloux]] | ||
- | * [[thomas AT cryptosense.com|Thomas Braibant]] | + | * [[thomas@cryptosense.com|Thomas Braibant]] |
* [[florence.plateau@provenrun.com|Florence Plateau]] | * [[florence.plateau@provenrun.com|Florence Plateau]] |