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...
Enregistré dans:
Auteurs principaux : | , , , , , , |
---|---|
Collectivités auteurs : | , , , |
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 : |