RNTL - Réseau National en Technologies Logicielles

Analyse de programmes C critiques embarqués (C Analysis Toolbox) – CAT

Project coordinator

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

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