Test d'automates temporises

Amelie Stainer

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

• Bertrand
• Horloge
• Automate
• Système temps réel
• Automate fini

Informations

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

Extrait