Distributed Diagnosability and Testability of Faulty Systems

Analyse formelle des propriétés de diagnosticabilité et de testabilité dans les systèmes distribués et concurrents modélisés par des systèmes de transitions étiquetées ou des réseaux de Petri

Activités de recherche
  Test formel basé sur les modèles
  Raisonnement automatique

Membres LRI
ZAIDI Fatiha
LONGUET Delphine


Pour en savoir plus : https://date.ac.lri.fr/