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 > K > Kastenbaum Stéphane
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

On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic
  • Consulter la notice
  • Date de publication : 
    • 05-05-2023  | 
  • Auteur(s) : 
    • Kastenbaum Stéphane  | 
  • Editeur(s) : 
    • Université de Rennes  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • L'augmentation de la complexité et de l'hétérogénéité des systèmes critiques pose un défi dans leur conception et leur assurance de sécurité. Les méthodes formelles sont utilisées pour valider les modèles de système, mais la difficulté réside dans la vérification de la sécurité du système global à partir des spécifications de composants validées. La théorie des contrats résout ce problème en utili...


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