Formal modeling, verification and test generation for component-based reactive systems
Date
Authors
Advisor
Type
Disszertáció
Language
en
Alternative
Formális modellezés, verifikáció és tesztgenerálás komponensalapú reaktív rendszerekhez
Date Defence
2024-04-11
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