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

'