Dyddiad Dyfarnu | 23 Meh 2018 |
---|---|
Iaith wreiddiol | Saesneg |
Goruchwyliwr | Janusz Kulon (Goruchwylydd) & Berndt Muller (Goruchwylydd) |
Automated Verification of Object Petri Nets based on Transformation, Unfoldings and SAT Solving
Traethawd ymchwil myfyriwr: Traethawd ymchwil doethurol