József Kopják. Távolságleírón alapuló szimmetrikus logikai függvényeket megvalósító szoftverkapukból létrehozott eseményvezérelt vezérlési háló szoftvermodelljének tervezése és verifikációja. PhD thesis, Széchenyi István University, Hungary, 2013. [doi]
Abstract is missing.