Les modèles de fiabilité du logiciel : application aux essais de validation d'un système informatique critique
Cette étude s'inscrit dans le cadre d'un contrat établi entre le laboratoire Circuits et Systèmes et la SNCF. Ce contrat a pour objectif la conception et la validation d'un système de sécurité fer-rivière à base de microprocesseurs
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1985
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00315983 http://tel.archives-ouvertes.fr/docs/00/31/59/83/PDF/Kouka.Edmond-Felix_1985_these.pdf |