Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > R > Rébiscoul Vincent
Niveau supérieur
  • 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

Static analysis for skeletal semantics
  • Consulter la notice
  • Date de publication : 
    • 14-05-2024  | 
  • Auteur(s) : 
    • Rébiscoul Vincent  | 
  • Editeur(s) : 
    • Université de Rennes  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Nous interagissons de plus en plus avec des objets pilotés par des programmes. Souvent, une erreur d'exécution d'un programme ne provoque pas de situation dangereuse. Un plantage de téléphone peut être embêtant, mais est généralement sans conséquences graves. Néanmoins, il existe des programmes gérant des tâches critiques, et les échecs de ceux-ci peuvent avoir des conséquences graves. Les pays me...


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