Automated Verification of Object Petri Nets based on Transformation, Unfoldings and SAT Solving

  • Ismaila Abdullahi

    Traethawd ymchwil myfyriwr: Traethawd ymchwil doethurol

    Dyddiad Dyfarnu23 Meh 2018
    Iaith wreiddiolSaesneg
    GoruchwyliwrJanusz Kulon (Goruchwylydd) & Berndt Muller (Goruchwylydd)

    Dyfynnu hyn

    Dogfennau

    • PhD thesis

      Ffeil: application/pdf, 1.47 MB

      Math: Traethawd ymchwil

    '