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