Skip to Main content Skip to Navigation
Theses

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

Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00297303
Contributor : Thèses Imag <>
Submitted on : Tuesday, July 15, 2008 - 5:24:54 PM
Last modification on : Friday, November 6, 2020 - 3:52:46 AM
Long-term archiving on: : Friday, May 28, 2010 - 9:25:35 PM

Identifiers

  • HAL Id : tel-00297303, version 1

Collections

Citation

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. ⟨tel-00297303⟩

Share

Metrics

Record views

285

Files downloads

105