Dorina Ionescu, Nicolae Brînzei, Jean-François Pétin. Approche compositionnelle sur les langages probabilistes pour l'évaluation quantitative des séquences d’événements en sûreté de fonctionnement.
10ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2015, Nov 2015, Nancy, France.
⟨hal-01226193⟩