Complexity of verification and control of modular discrete event systems : DSc thesis /

Korporace:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: [Praha] : [nakladatel není známý], 2018.
Předmět:
Externí odkaz: Teze disertace