Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Sur la vérification des systèmes digitaux

André Verdillon 1
1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
Mots-clés : systèmes logiques vérification contrôles conception pannes usure processus embarqués environnement accessibilité couplage réseaux réguliers test optimum
Document type :
Habilitation à diriger des recherches
Complete list of metadatas
https://tel.archives-ouvertes.fr/tel-00287585
Contributor : Thèses Imag <>
Submitted on : Thursday, June 12, 2008 - 11:25:43 AM
Last modification on : Friday, November 6, 2020 - 4:10:18 AM
Long-term archiving on: : Friday, May 28, 2010 - 6:48:47 PM

File

Vignette du document
Verdillon.Andre_1977_these.pdf

Identifiers

  • HAL Id : tel-00287585, version 1

Collections

CNRS | TDS-MACS | UGA

Citation

André Verdillon. Sur la vérification des systèmes digitaux. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1977. ⟨tel-00287585⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

203

Files downloads

69