Equipe d'accueil doctoral Commande des systèmes et dynamique du vol (Toulouse, Haute-Garonne)
VIAF ID: 282635668 ( Corporate )
Permalink: http://viaf.org/viaf/282635668
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Etude des architectures de sécurité de systèmes autonomes : formalisation et évaluation en Event-B |