|
464237
Infos complémentaires |
parentName_s |
Department of Formal Methods |
|
Carbone |
CARBONE |
researchteam |
|
|
|
|
|
|
529408
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Designing the Future of Computational Models |
MOCQUA |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2018-01-01 |
|
|
|
206038
Infos complémentaires |
parentName_s |
Department of Formal Methods |
|
Development of specifications |
DEDALE |
researchteam |
|
|
|
|
|
|
206043
Infos complémentaires |
parentName_s |
Department of Formal Methods |
|
Logic, Proof Theory and Programming |
TYPES |
researchteam |
|
|
|
|
|
|
107895
Infos complémentaires |
parentName_s |
Max-Planck-Institut für InformatikInria Nancy - Grand EstDepartment of Formal Methods |
|
Modeling and Verification of Distributed Algorithms and Systems |
VERIDIS |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2012-07-01 |
|
|
|
445522
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Proof techniques for security protocols |
PESTO |
researchteam |
|
|
2016-01-01 |
|
|
|
206041
Infos complémentaires |
parentName_s |
Department of Formal Methods |
|
Proof-oriented development of computer-based systems |
MOSEL |
researchteam |
|
|
|
|
|
|
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 |
|
|
|
|
|