| |
189789
|
Infos complémentaires |
| parentName_s |
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)Inria Nancy - Grand EstDepartment of Formal Methods |
|
Combination of approaches to the security of infinite states systems |
CASSIS |
researchteam |
|
|
|
2015-12-31 |
|
| |
205126
|
Infos complémentaires |
| parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Formal islands: foundations and applications |
PAREO |
researchteam |
|
|
|
2014-12-31 |
|
| |
29797
|
Infos complémentaires |
| parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Theoretical adverse computations, and safety |
CARTE |
researchteam |
|
|
|
|
|
