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

Bibliographic Details
Main Author:	Nemmour, Mohamed
Language:	FRE
Published:	1981
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation DELTA circuits intégré conception formalisme ETA bijection CAO machines séquentielles séquenceur pipe-line
Online Access:	http://tel.archives-ouvertes.fr/tel-00297303 http://tel.archives-ouvertes.fr/docs/00/29/73/03/PDF/Nemmour.Mohamed_1981_these.pdf

Similar Items