Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes
DATE - AMSUD

Subvention
Janv. 2013 - Déc. 2014

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : 

Gestionnaire : 
Organisme gérant : CNRS

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/
Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° NEXT
NEXT