Abstraction techniques for the analysis and synthesis of critical cyber-physical system architectures

Link to refer to this document:

Title: Abstraction techniques for the analysis and synthesis of critical cyber-physical system architectures
Title and subtitle in another language: Absztrakciós technikák a kritikus kiberfizikai rendszerek architektúráinak analíziséhez és szintéziséhez
Author: Marussy, Kristóf
Date of issue: 2023
Date of defence: 2023-06-14
Advisor: Majzik, Istvá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