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
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin