%0 Conference Proceedings %T Vers la génération de modèles de sûreté de fonctionnement %+ Développement des Technologies Nouvelles (DTN) %A Dumas, Xavier %A Pagetti, Claire %A Sagaspe, Laurent %A Bieber, Pierre %A Dhaussy, Philippe %< avec comité de lecture %( conférences LMO'08 et CAL'08 %B conférences LMO'08 et CAL'08 %C Montréal, France %P Non renseigne %8 2008-03-03 %D 2008 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G French %L hal-00517274 %U https://hal.science/hal-00517274 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN