εναλλαγή μενού
close
κλείσιμο μενού
Εθνική Επισκόπηση
Ερευνητικά Ιδρύματα
Αποθετήρια
Εξερεύνηση
Κατάλογος δεικτών
language
Ελληνικά
arrow_drop_down
close
search
Εθνική Επισκόπηση
Ερευνητικά Ιδρύματα
Αποθετήρια
Εξερεύνηση
Κατάλογος δεικτών
search
αναζήτηση
language
Ελληνικά
arrow_drop_down
Σύνδεση
This Organisation is not specific to Greece. For more details, please visit
OpenAIRE Explore.
arrow_back
Πίσω
Επιστροφή στα αποτελέσματα
share
Κοινοποίηση
Κοινοποίηση
code
Κώδικας ενσωμάτωσης
Ενσωμάτωση
download
Λήψη
Λήψη
Σύνοψη
Χρηματοδότηση / Έργα
1
Πηγές δεδομένων
0
Δημοσιεύσεις
0
Ερευνητικά δεδομένα
0
Ερευνητικό λογισμικό
0
Άλλα ερευνητικά αποτελέσματα
0
Μητρικοί οργανισμοί
0
Θυγατρικοί οργανισμοί
0
Εκδόσεις
1
corporate_fare
Οργανισμός
Prover Technology
Τοποθεσία
location_on
Γαλλία
Έργα
(1)
assignment_turned_in
Έργο
Combining Analyses for the Study of Numerical Invariants
(
CAFEIN
)
Από Φεβ 2013
French National Research Agency (ANR)
Συνεισφορά Χρηματοδότη:
593.503,00 €
Επιχορήγηση:
ANR-12-INSE-0007
Εταίροι:
Prover Technology
Université Perpignan via Domitia
ONERA DTIM
RCF
3 περισσότερα
location_on
Γαλλία
Πηγές δεδομένων
Πρόσφατες δημοσιεύσεις
Πρόσφατα ερευνητικά δεδομένα
Πρόσφατο ερευνητικό λογισμικό
Πρόσφατα άλλα ερευνητικά αποτελέσματα
Μητρικοί οργανισμοί
Μη διαθέσιμο
Θυγατρικοί οργανισμοί
Μη διαθέσιμο
Εκδόσεις
(1)
corporate_fare
Οργανισμός
Prover Technology
Ερευνητικό αποτύπωμα
Σύνολο ερευνητικών αποτελεσμάτων
Ερευνητικά αποτελέσματα
Σύνοψη
Αναλυτικά
Χρονολόγιο
Ανοιχτή πρόσβαση
Τελευταία 5 χρόνια
Πεδία επιστήμης
ΣΒΑ
Πηγές δεδομένων
Έργα
Σύνολο ερευνητικών αποτελεσμάτων
1
French National Research Agency (ANR)
1
close
close
close
Loading
help_outline
Βοήθεια
close