2495"Model Checking" Stichastique pour la performabilité et la sûreté des systèmes [En savoir plus]CHECK-BOUND - ANR-06-SETI-0002
SETI - 2006

Voir les documents associés 

Exporter

• Export XML
• Export RDF