Show simple item record

Varró, Dániel
Semeráth, Oszkár
2019-05-27T06:59:40Z
2019-05-27T06:59:40Z
2019
http://hdl.handle.net/10890/13134
enhu_HU
Formal validation and model generation for domain-specific languages by logic solvershu_HU
Szakterület-specifikus modellezési nyelvek formális ellenőrzese logikai következtetőkkelhu_HU
Disszertációhu
Informatikai Tudományok Doktori Iskolahu_HU
Villamosmérnöki és Informatikai Karhu_HU
2019-06-17
000655737
Budapesti Műszaki és Gazdaságtudományi Egyetemhu_HU
Ph.D. Thesishu_HU


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record