Exploration implicite et explicite de l'espace d'états atteignables de circuits logiques Estérel

par Yannis Bres

Thèse de doctorat en Informatique

Sous la direction de Gérard Berry.

Soutenue en 2002

à Nice .

  • Titre traduit

    Implicit and explicit reachable state space exploration of Esterel logical circuits


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 182 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 167-182. Résumés en français et en anglais

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Non disponible pour le PEB
  • Cote : 02NICE5767bis
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 02NICE5767
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.