DATE
Distributed Diagnosability and Testability of Faulty Sys- tems
Description:
DATE is a project on formal analysis of diagnosability and testability in distributed and concurrent systems, formally modelled with label transition systems and Petri nets.
Project Type:
Beginning:
January, 2013 to December, 2015
Project Leader:
Philippe Dague
Project Management:
- CNRS