Communication Dans Un Congrès
Année : 2014
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03230718
Soumis le : jeudi 20 mai 2021-10:53:09
Dernière modification le : mardi 12 décembre 2023-14:32:25
Dates et versions
Identifiants
- HAL Id : hal-03230718 , version 1
Citer
Ning Ge, Marc Pantel, Xavier Crégut. Probabilistic Failure Analysis in Model Validation & Verification (Journées FAC 2014). Journées Formalisation des Activités Concurrentes (Journées FAC 2014), Apr 2014, Toulouse, France. ⟨hal-03230718⟩
Collections
23
Consultations
0
Téléchargements