|
423083
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Department of Algorithms, Computation, Image and Geometry |
LORIA - ALGO |
department |
|
|
|
|
|
|
423090
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Department of Complex Systems, Artificial Intelligence & Robotics |
LORIA - AIS |
department |
|
|
|
|
|
|
423084
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Department of Formal Methods |
LORIA - FM |
department |
|
|
|
|
|
|
423086
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Department of Natural Language Processing & Knowledge Discovery |
LORIA - NLPKD |
department |
|
|
|
|
|
|
423085
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Department of Networks, Systems and Services |
LORIA - NSS |
department |
|
|
|
|
|
|
1148675
Infos complémentaires |
parentName_s |
Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
Service Informatique de Soutien à la Recherche |
SISR |
researchteam |
|
|
2019-01-01 |
|
|
|
554178
Infos complémentaires |
parentName_s |
Inria Nancy - Grand EstLaboratoire Lorrain de Recherche en Informatique et ses Applications |
|
VERIfication pour les systèmes DIStribués |
VERIDIS |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2010-01-01 |
2012-06-30 |
|