RNTL - Réseau National en Technologies Logicielles
Analyse statique de logiciels asynchrones de contrôle-commande – THESEE
Project coordination
Patrick COUSOT (Autre établissement d’enseignement supérieur)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
Partner
Help of the ANR 341,446 euros
Beginning and duration of the scientific project:
- 36 Months
