Niveau: Supérieur, Master
Test d'automates temporises Amelie Staıner encadree par Nathalie Bertrand et Thierry Jeron, equipe VerTeCs, INRIA. 4 juin 2010 Master informatique specialite Recherche en informatique a Rennes 1. Promotion ENS. 1 du m as -0 05 30 77 3, v er sio n 1 - 2 9 O ct 2 01 0
- horloge
- automate
- jeu pour la determinisation
- systemes temps reel
- deterministes
- automate fini
- modelisation de l'urgence
- terminaison de la methode