en fr The software models: application to validation tests of a critical computer systems Les modèles de fiabilité du logiciel : application aux essais de validation dun système informatique critique Report as inadecuate




en fr The software models: application to validation tests of a critical computer systems Les modèles de fiabilité du logiciel : application aux essais de validation dun système informatique critique - Download this document for free, or read online. Document in PDF available to download.

1 IMAG - Institut d-Informatique et de Mathématiques Appliquées de Grenoble

Résumé : 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

en fr

Keywords : Software reliability Modeling Test Computer system Debugging Statistical decision

Mots-clés : Modélisation Mise au point programme Système informatique Fiabilité logiciel Décision statistique





Author: Edmond Félix Kouka -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents