Identifiant pérenne de la notice : 190549491
Notice de type
Personne
Spécification formelle et vérification de systèmes interactifs avec plasticité / Raquel
Oliveira ; sous la direction de Sophie Dupuy-Chessa. Thèse de doctorat : Informatique
: Grenoble Alpes : 2015
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