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...

Full description

Saved in:
Bibliographic Details
Main Authors : 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)
Corporate Authors : 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 : Thesis
Language : français
Title statement : 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
Published : 2017
Online Access : Via Nantes Université network
Online Access note : Accès réservé au texte intégral
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2017
Subjects :