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