|
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 |
|
|
|
|
|