Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]
industry.1405078581.txt.gz · Last modified: 2014/07/11 13:36 by braibant
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0