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
Sefydliad Dyfarnu
  • Prifysgol De Cymru
GoruchwyliwrJanusz Kulon (Goruchwylydd) & Berndt Muller (Goruchwylydd)

Dyfynnu hyn

Dogfennau

  • PhD thesis

    Ffeil: application/pdf, 1.47 MB

    Math: Traethawd ymchwil

'