//img.uscri.be/pth/5abe7b354d119f2a9643d1cf80504162ea9fcc1f
La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

Test d'automates temporises

De
47 pages
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


Voir plus Voir moins