Urgent news
Publication of the PAUSE - ANR Ukraine program to accommodate Ukrainian scientists in French laboratories
SESU - Sécurité et sûreté informatique

Enhancing the Evaluation of Error consequences using Formal Methods – FME3

Project coordinator

Laurence PIERRE (UNIVERSITE GRENOBLE I [Joseph Fourier])

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

UNIVERSITE GRENOBLE I [Joseph Fourier]
UNIVERSITE PARIS VI [PIERRE ET MARIE CURIE]

Help of the ANR 448,881 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