- Alternative title
-
Sicherheit-durch-Konstruktion Synthese von cyber-physischen Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2022
- Keyword
-
Verifikation
Cyber-physisches System
Eingebettetes System
Rechnernetz
Reglerentwurf
Formale Methode
Sicherheitskritisches System
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2022
- Creator
-
Liu, Siyuan
- Contributor
- URN
-
urn:nbn:de:bvb:91-diss-20220926-1651390-1-5
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Liu, Siyuan
- Buss, Martin
- Dimarogonas, Dimos V.
- Zamani, Majid
- Universitätsbibliothek der TU München
Time of origin
- 2022
Other Objects (12)
Safe and secure system architectures for cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
A model-driven software construction approach for cyber-physical systems
Strategies for cyber-physical robotic fabrication and construction in architecture
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
A Metamodel for Cyber-Physical Systems
Secure Decentralization of Cyber-Physical Systems for an Internet of Things without Clouds
Safe and secure system architectures for cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
A model-driven software construction approach for cyber-physical systems
Strategies for cyber-physical robotic fabrication and construction in architecture
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
A Metamodel for Cyber-Physical Systems
Secure Decentralization of Cyber-Physical Systems for an Internet of Things without Clouds
Safe and secure system architectures for cyber-physical systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
A model-driven software construction approach for cyber-physical systems
Strategies for cyber-physical robotic fabrication and construction in architecture
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
A Metamodel for Cyber-Physical Systems