|
1003568
Infos complémentaires |
parentName_s |
LANGAGE ET GÉNIE LOGICIEL |
|
Advanced Technologies for Operated Networks |
ARCHWARE |
researchteam |
IRISA/UBS - Campus de Tohannic - rue Yves Mainguy - bâtiment ENSibs - BP 573 - 56000 Vannes cedex |
|
2012-01-01 |
|
|
|
1124245
Infos complémentaires |
parentName_s |
Inria Rennes – Bretagne AtlantiqueLANGAGE ET GÉNIE LOGICIEL |
|
Analyse sémantique et compilation pour la sécurité des environnements d'exécution |
EPICURE |
researchteam |
Campus de Beaulieu35042 Rennes Cedex |
|
2022-06-01 |
|
|
|
491189
Infos complémentaires |
parentName_s |
Inria Rennes – Bretagne AtlantiqueLANGAGE ET GÉNIE LOGICIEL |
|
Diversity-centric Software Engineering |
DiverSe |
researchteam |
Campus de Beaulieu, 35042 Rennes cedes |
|
|
|
|
|
1003579
Infos complémentaires |
parentName_s |
LANGAGE ET GÉNIE LOGICIEL |
|
Logic and applications |
LOGICA |
researchteam |
IRISA - Campus de Beaulieu - 263 Av du Général Leclerc - bât 12F - CS 74205- 35042 Rennes cedex |
|
2015-07-03 |
|
|
|
491207
Infos complémentaires |
parentName_s |
Inria Rennes – Bretagne AtlantiqueLANGAGE ET GÉNIE LOGICIEL |
|
Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques |
HYCOMES |
researchteam |
Campus de Beaulieu, 35042 Rennes cedex |
|
|
|
|
|
491208
Infos complémentaires |
parentName_s |
Inria Rennes – Bretagne AtlantiqueLANGAGE ET GÉNIE LOGICIEL |
|
SUpervision of large MOdular and distributed systems |
SUMO |
researchteam |
Campus de Beaulieu 35042 Rennes cedex |
|
|
|
|
|
491210
Infos complémentaires |
parentName_s |
Inria Rennes – Bretagne AtlantiqueLANGAGE ET GÉNIE LOGICIEL |
|
Tim, Events and Architectures |
TEA |
researchteam |
Campus de Beaulieu 35042 Rennes cedex |
|
|
|
|