Theses
Year : 1981
Thèses Imag : Connect in order to contact the contributor
https://theses.hal.science/tel-00297303
Submitted on : Tuesday, July 15, 2008-5:24:54 PM
Last modification on : Thursday, April 4, 2024-9:02:54 PM
Long-term archiving on: Friday, May 28, 2010-9:25:35 PM
Dates and versions
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⟩
107
View
49
Download