RNTL - Réseau National en Technologies Logicielles
Analyse de programmes C critiques embarqués (C Analysis Toolbox) – CAT
Project coordination
CEA - LIST (Divers public)
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.
Partnership
CEA - LIST
Help of the ANR 1,012,938 euros
Beginning and duration of the scientific project:
- 36 Months
