Home
>
Research results
>
Contracts & grants
> Contract
About LRI
Groups
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI Publications
Internal Publications
Open positions
Teaching
Useful informations
Contract / grant for group Verification of Algorithms, Languages and Systems
DATE
Subvention
Jan 2013 - Dec 2014
Group :
Verification of Algorithms, Languages and Systems
Principal investigator :
Administrator :
Affiliation :
CNRS
Distributed Diagnosability and Testability of Faulty Systems
Formal analysis of diagnosability and testability in distributed and concurrent systems, formally
modelled with label transition systems and Petri nets
Research activities
Formal Model-Based Testing
Automated Reasoning
Participants
ZAIDI Fatiha
LONGUET Delphine
More information :
https://date.ac.lri.fr/
Contracts & grants
°
SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF
> more contracts & grants
