Abstraction techniques for the analysis and synthesis of critical cyber-physical system architectures
Date
Authors
Advisor
Type
Disszertáció
Language
en
Alternative
Absztrakciós technikák a kritikus kiberfizikai rendszerek architektúráinak analíziséhez és szintéziséhez
Date Defence
2023-06-14
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