|
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 |
|
|
|
|
|
491314
Infos complémentaires |
parentName_s |
IMT AtlantiqueLANGAGE ET GÉNIE LOGICIEL |
|
Process for Adaptative Software Systems |
PASS |
researchteam |
IMT Atlantique - Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 / IRISA - Campus de Beaulieu 35042 Rennes cedex |
|
2017-01-01 |
2021-12-31 |
|
|
491212
Infos complémentaires |
parentName_s |
Inria Rennes – Bretagne AtlantiqueLANGAGE ET GÉNIE LOGICIEL |
|
Software certification with semantic analysis |
CELTIQUE |
researchteam |
Campus de Beaulieu 35042 Rennes cedex |
|
|
2022-05-31 |
|
|
491215
Infos complémentaires |
parentName_s |
Inria Rennes – Bretagne AtlantiqueLANGAGE ET GÉNIE LOGICIEL |
|
Threat Analysis and Mitigation for Information Security |
TAMIS |
researchteam |
Campus de Beaulieu 35042 Rennes cedex |
|
|
2020-10-31 |
|