Test d automates temporises
47 pages
Français

Test d'automates temporises

-

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
47 pages
Français
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Description

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


Sujets

Informations

Publié par
Publié le 01 juin 2010
Nombre de lectures 50
Langue Français

Exrait

  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents