Effective domain-specific formal verification techniques
Metadata
Show full item recordCollections
- Title
- Effective domain-specific formal verification techniques
- Title and subtitle in another language
- Hatékony szakterület-specifikus formális ellenőrzési technikák
- Author
- Hajdu, Ákos
- Date of issue
- 2020
- Date of defence
- 2020-11-24
- Advisor
- Micskei, Zoltán
- Language
- en
- Document type
- Disszertáció
- Document genre
- Doktori (Ph.D.) értekezés / Ph.D. Thesis
- University
- Budapesti Műszaki és Gazdaságtudományi Egyetem
- Faculty
- Villamosmérnöki és Informatikai Kar
- Doctoral school
- Informatikai Tudományok Doktori Iskola