1 ressource : RIVAL XAVIER

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
Canal-U
Preuve automatique de la sûreté de logiciels critiques
Description : Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En particulier, il serait inacceptable qu'un tel logiciel puisse produire des erreurs à l'exécution. Il est m ...
Mots clés : logiciel, sûreté
Date : 06-12-2012
Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt
 En savoir plus
 Description complète
Preuve automatique de la sûreté de logiciels critiques
 Ajouter à mon panier
Accéder aux documents