GT22
Evénements
Réunion du groupe "Recherche méthodologique de l'IMdR. 26 novembre 2010
- Présentation de l'équipe INRIA CQFD, François Dufour, Responsable de l'équipe INRIA CQFD
- Arrât optimal et maintenance prédictive, Benoite de Saporta, INRIA Bordeaux Sud-Ouest
- Estimation des temps de sortie pour des Processus Markoviens déterministes par Morceaux, Adrien Brandejsky, INRIA Bordeaux Sud-Ouest
- Pronostic d'un système complexe, Ariane Lorton, EADS
- Modèles de Processus Markoviens déterministes par Morceaux pour la propagation de fissures, Romain Azaïs, INRIA Bordeaux Sud-ouest
- Démonstration de Visual Figaro et de la base de connaissances Petri_hyb pour la fiabilité dynamique, Marc Bouissou, EDF
- Evolutions des modules booléens de GRIF pour l'IEC 61508, Cyrille Folleau