-
La fiabilité des systèmes devient un défi majeur
National audience -
Test Generation from UML/OCL Model for involving critical system
This thesis is focused on methods and approaches taking into account the evolution in case of UML/OCL model-based test generation. In this framework I am studying... -
Architecture sécurisée pour les systèmes d'information des avions du futur
Traditionally, in avionics, on-board aircraft software used to be totally separated from open-world software in order to avoid any interaction that could corrupt...
