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 Reportar como inadecuado




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 - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Edmond Félix Kouka -

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



DESCARGAR PDF




Documentos relacionados