Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones - TEL - Thèses en ligne Access content directly
Theses Year : 1981

Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones

Fichier principal
Vignette du fichier
Nemmour.Mohamed_1981_these.pdf (9.28 Mo) Télécharger le fichier

Dates and versions

tel-00297303 , version 1 (15-07-2008)

Identifiers

  • HAL Id : tel-00297303 , version 1

Cite

Mohamed Nemmour. Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1981. Français. ⟨NNT : ⟩. ⟨tel-00297303⟩

Collections

UGA CNRS TDS-MACS
107 View
49 Download

Share

Gmail Facebook X LinkedIn More