toggle menu
close
close menu
National Overview
Research Institutions
Repositories
Explore
Indicator Catalogue
language
English
arrow_drop_down
close
search
National Overview
Research Institutions
Repositories
Explore
Indicator Catalogue
search
search
language
English
arrow_drop_down
Sign in
This Organisation is not specific to Greece. For more details, please visit
OpenAIRE Explore.
arrow_back
Back
Back to results page
share
Share
Share
code
Embed code
Embed
download
Download
Download
Summary
Funding / Projects
2
Data sources
0
Publications
0
Research data
0
Research software
0
Other research products
0
Parent Organisations
0
Child Organisations
0
Versions
1
corporate_fare
Organisation
ONERA DTIM
Location
location_on
France
Projects
(2)
assignment_turned_in
Project
Combining Analyses for the Study of Numerical Invariants
(
CAFEIN
)
From Feb 2013
French National Research Agency (ANR)
Funder contribution:
€593,503.00
Grant:
ANR-12-INSE-0007
Partners:
Prover Technology
Université Perpignan via Domitia
ONERA DTIM
RCF
3 more
location_on
France
assignment_turned_in
Project
Verification of fast optimization algorithms applied in critical embedded control
(
VORACE
)
From Mar 2013
French National Research Agency (ANR)
Funder contribution:
€237,850.00
Grant:
ANR-12-ASTR-0004
Partners:
ONERA DTIM
RCF
Laboratoire d’Analyse et d’Architecture ...
Institut de Recherche en Informatique de...
location_on
France
Data sources
Recent Publications
Recent Research data
Recent Research software
Recent Other research products
Parent Organisations
N/A
Child Organisations
N/A
Versions
(1)
corporate_fare
Organisation
ONERA DTIM
Research Footprint
Total research products
Research products
Summary
Detailed
Timeline
Openness
Last 5 Years
Fields of Science
SDGs
Data Sources
Projects
Total research products
2
French National Research Agency (ANR)
2
close
close
close
Loading
help_outline
Help
close
