Vérification formelle des circuits digitaux décrits en VHDL

Description

Reproduction de : Thèse de doctorat : Informatique : Grenoble 1 : 1992. / Titre provenant de l'écran-titre. Bibliogr. p. 125-132.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00340910

Tags

Thèses et écrits académiques.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494040651
Date	January 2008
Creators	Salem, Ashraf Mohamed El-Farghly. Borrione, Dominique. Caspi, Paul. Anceau, François
Publisher	S.l. : Université Grenoble 1,
Source Sets	OCLC
Language	French
Detected Language	French