Thèse
Année : 1981
Thèses Imag : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-00297303
Soumis le : mardi 15 juillet 2008-17:24:54
Dernière modification le : jeudi 4 avril 2024-21:02:54
Archivage à long terme le : vendredi 28 mai 2010-21:25:35
Dates et versions
Identifiants
- HAL Id : tel-00297303 , version 1
Citer
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
Consultations
49
Téléchargements