Effective domain-specific formal verification techniques
Date
Authors
Advisor
Type
Disszertáció
Language
en
Alternative
Hatékony szakterület-specifikus formális ellenőrzési technikák
Date Defence
2020-11-24
Doctoral School
Informatikai Tudományok Doktori Iskola
Faculty
Villamosmérnöki és Informatikai Kar
Gender
Doktori (Ph.D.) értekezés / Ph.D. Thesis
University
Budapesti Műszaki és Gazdaságtudományi Egyetem