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