RNTL - Réseau National en Technologies Logicielles

Analyse statique de logiciels asynchrones de contrôle-commande – THESEE

Project coordinator

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

Useful links

Explorez notre base de projets financés

 

 

ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter