1
ressource :
RIVAL XAVIER
Rechercher
Aide
Recherche avancée
Recherche en cours
Par auteur
=
RIVAL XAVIER
1
1
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
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
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
Format
:
video/mp4
Auteur
:
RIVAL Xavier
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
Droits
:
Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt
1