Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Ressources pédagogiques > Accès par auteurs en fr
  • Nouveautés
  • Recherche avancée
  • Sciences et techniques
  • Sciences de la terre
  • Chimie
  • Sciences de la vie
  • Physique
  • Toutes les thématiques
Ressources pédagogiques -> Auteur(s)
RIVAL XAVIER
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Preuve automatique de la sûreté de logiciels critiques

 [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
    • 20121206  | 
  • Auteur(s) : 
    • RIVAL Xavier  | 
  • Editeur(s) : 
    • INRIA (Institut national de recherche en informatique et automatique)  | 
  • Origine de la fiche : 
    • Canal-u.fr
  • 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 mathématiquement impossible de déterminer de manière automatique et exacte si un logiciel informatique es...


  • Référencé le  : 
    • 17-06-2015
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI