Identifiant pérenne de la notice : 066923115
Notice de type
Personne
Annuaire interne Université de Bordeaux, Décembre 2017
Information trouvée : Université de Bordeaux
Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel
/ Frédéric Herbreteau [thèse] ; sous la direction d'Olivier Roux
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