Műegyetemi Digitális Archívum
 

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

Date

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

OOC works

Abstract

Description

Keywords