Projet VPS

Vérification des systèmes probabilistes (Verification of Probabilistic Systems : VPS)

Nous nous intéressons à utiliser les méthodes formelles pour vérifier les systèmes probabilistes.

 
  Recherche :
Imprimer cette page |  English