Identifiant pérenne de la notice : 179367110
Notice de type
Personne
Gestion des aléas dans un système multi-robots / Valentin Bouziat ; sous la direction
de Louise Travé-Massuyès et Xavier Pucel. Thèse de doctorat : Informatique et Robotique
: Toulouse, ISAE : 2020
Modélisation compositionnelle des systèmes temps-réels : théorie et pratique / Gregor
Gössler ; sous la direction de Joseph Sifakis, 2001. - Thèse de doctorat : Informatique
: Grenoble 1 : 2001
Vérification de propriétés faiblement dures des systèmes quasi-synchrones/ Gideon
Smeding ; sous la dir. de Gregor Goessler, 2013
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial