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...
Saved in:
Main Authors : | , , , , , , |
---|---|
Corporate Authors : | , , , |
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 : |