Débogage de modèles B événementiels en utilisant le plugin ProB disprover

  • Olivier Ligot

    Student thesis: Master typesMaster in Computer science

    Abstract

    Date of Award2007
    Original languageFrench
    Awarding Institution
    • University of Namur
    SupervisorWim VANHOOF (Supervisor)

    Cite this

    '