Registration
This shows you the differences between two versions of the page.
industry [2014/07/11 13:34] braibant [Program] |
industry [2014/07/11 14:45] (current) plateau [Program] |
||
---|---|---|---|
Line 12: | Line 12: | ||
* 14h00 : Introduction | * 14h00 : Introduction | ||
- | * 14h05 : [[mailto:"emmanuel DOT ledinot AT dassault-aviation DOT com" | 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)}} | ||