Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
- Link zu diesem Datensatz
- https://d-nb.info/1299454429
- Titel
- Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
- Art des Inhalts
- Monographie
- Verfassangaben
- Bingzhuo Zhong ; Gutachter: Murat Arcak, Marco Caccamo, Majid Zamani ; Betreuer: Marco Caccamo
- Autor(en)
-
- Zhong, Bingzhuo
- Caccamo, Marco
- Arcak, Murat
- Zamani, Majid
- Verlag
- München : Universitätsbibliothek der TU München [2023]
- Jahr
- Erscheinungsdatum: 2023
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20230717-1704680-1-7
- Sprache
- eng
- Schlagwörter
- Abweichende Titel
-
- Formale Methoden zur Abschottung von Controllern in Cyber-Physical Systems
- Stand
- 26.12.2025 06:41
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
Beschreibung wird bei Bedarf von der DNB geladen.