 |
|
|
|
| Detailed view | Habilitation à diriger des recherches |
|
|
| Institut National Polytechnique de Grenoble - INPG Université Joseph-Fourier - Grenoble I (13/09/1977), Jean Kuntzmann (Pr.) |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| Sur la vérification des systèmes digitaux |
|
|
| André Verdillon1 |
|
|
|
| . |
|
|
|
|
|
|
|
|
|
| 1: | IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble |
|
|
|
|
|
|
|
| systèmes logiques – vérification – contrôles – conception – pannes – usure – processus embarqués – environnement – accessibilité – couplage – réseaux réguliers – test optimum |
| . |
| tel-00287585, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00287585 | |
| oai:tel.archives-ouvertes.fr:tel-00287585 | |
| From: Thèses Imag | |
| Submitted on: Thursday, 12 June 2008 11:25:43 | |
| Updated on: Thursday, 12 June 2008 11:43:20 | |
