Enhancing the Evaluation of Error consequences using Formal Methods – FME3
Project coordination
Laurence PIERRE (Université)
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 448,881 euros
Beginning and duration of the scientific project:
- 36 Months