Ouvrir le menu
Publier un document
Alternate Text
clear
fr
Ouvrir le menu
Category Category Test d automates temporises

Test d'automates temporises

icon

47

pages

icon

Français

icon

Documents

2010

Écrit par

Publié par

Lire
Alternate Text
Lire
Alternate Text

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

icon

47

pages

icon

Français

icon

Ebook

2010

Lire
Alternate Text
Lire
Alternate Text

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

Publié par

Publié le

01 juin 2010

Nombre de lectures

50

Langue

Français

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 Alternate Text

Publié par

Publié le

01 juin 2010

Nombre de lectures

50

Langue

Français

Bertrand Horloge Automate Système temps réel Automate fini
Voir Alternate Text
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Signaler un problème
playstore
appstore
facebook twitter instagram youtube

YouScribe

Le catalogue

Le service

Les conditions

© 2010-2024 YouScribe
Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts
Alternate Text
Category

Book

Book

icon play
icon play Infos