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 > J > Jegourel Cyrille
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

Rare event simulation for statistical model checking
  • Consulter la notice
  • Date de publication : 
    • 19-11-2014  | 
  • Auteur(s) : 
    • Jegourel Cyrille  | 
  • Editeur(s) : 
    • Université de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Dans cette thèse, nous considérons deux problèmes auxquels le model checking statistique doit faire face. Le premier concerne les systèmes hétérogènes qui introduisent complexité et non-déterminisme dans l'analyse. Le second problème est celui des propriétés rares, difficiles à observer et donc à quantifier. Pour le premier point, nous présentons des contributions originales pour le formalisme des...


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