Sur la vérification des systèmes digitaux

André Verdillon

Habilitation À Diriger Des Recherches Year : 1977

Sur la vérification des systèmes digitaux

(1)

1

André Verdillon

Function : Author

Institut d'Informatique et de Mathématiques Appliquées de Grenoble

Keywords

systèmes logiques vérification contrôles conception pannes usure processus embarqués environnement accessibilité couplage réseaux réguliers test optimum

Domains

Modeling and Simulation

Fichier principal

Verdillon.Andre_1977_these.pdf (4.57 Mo)

Thèses Imag : Connect in order to contact the contributor

https://theses.hal.science/tel-00287585

Submitted on : Thursday, June 12, 2008-11:25:43 AM

Last modification on : Thursday, April 4, 2024-9:31:41 PM

Long-term archiving on: Friday, May 28, 2010-6:48:47 PM

Dates and versions

tel-00287585 , version 1 (12-06-2008)

Identifiers

HAL Id : tel-00287585 , version 1

Cite

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⟩

Sur la vérification des systèmes digitaux

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share