Introduction de raisonnement probabiliste dans la méthode B événementiel

Introduction de raisonnement probabiliste dans la méthode B événementiel

Les méthodes de modélisation et de vérification formelles à base de preuves, par exemple le B événementiel, ne permettent pas, à ce jour, de bien prendre en compte l ensemble des aspects quantitatifs des systèmes réels. En particulier, l ajout d aspects probabilistes dans les systèmes B événementiel...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Aouadhi Mohamed Amine (Auteur), Jard Claude (Directeur de thèse), Lanoix Arnaud (Directeur de thèse), Delahaye Benoît (Directeur de thèse), Caillaud Benoît (Président du jury de soutenance), Méry Dominique (Rapporteur de la thèse), Kouchnarenko Olga (Rapporteur de la thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Université Bretagne Loire 2016-2019 (Autre partenaire associé à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Introduction de raisonnement probabiliste dans la méthode B événementiel / Mohamed Amine Aouadhi; sous la direction de Claude Jard et de Arnaud Lanoix et de Benoît Delahaye
Publié : 2017
Accès en ligne : Accès Nantes Université
Note sur l'URL : Accès réservé au texte intégral
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2017
Sujets :
Modélisation des données (informatique)
Méthodes formelles (informatique)
Probabilités
>
Thèses et écrits académiques

Internet

https://archive.bu.univ-nantes.fr/pollux/show.action?id=6287b291-f00f-4bbf-b796-36f3606f6376