Test d'automates temporises

De
Publié par

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


Publié le : mardi 1 juin 2010
Lecture(s) : 47
Source : dumas.ccsd.cnrs.fr
Nombre de pages : 47
Voir plus Voir moins