Sur la vérification des systèmes digitaux

Document type :
Habilitation à diriger des recherches
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1977


https://tel.archives-ouvertes.fr/tel-00287585
Contributor : Thèses Imag <>
Submitted on : Thursday, June 12, 2008 - 11:25:43 AM
Last modification on : Thursday, June 12, 2008 - 11:43:20 AM

Identifiers

  • HAL Id : tel-00287585, version 1

Collections

UGA

Citation

André Verdillon. Sur la vérification des systèmes digitaux. Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1977. <tel-00287585>

Export

Share

Metrics

Consultation de
la notice

76

Téléchargement du document

8