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 11:10]
braibant [Program]
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)}}+  * 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)}}   * 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)}}
industry.txt · Last modified: 2014/07/11 14:45 by plateau
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