- Alternative title
-
Effiziente Implementierung von symbolischen Reglern für cyber-physikalische Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2021
- Keyword
-
Panamerikanische Union. Special Consultative Committee on Security
Cooperating objects (Computer systems)
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2021
- Creator
-
Mahmoud, Mahmoud Khaled Mohamed
- Contributor
- URN
-
urn:nbn:de:bvb:91-diss-20210921-1608976-1-4
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 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
- Mahmoud, Mahmoud Khaled Mohamed
- Buss, Martin
- Zamani, Majid
- Universitätsbibliothek der TU München
Time of origin
- 2021
Other Objects (12)
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Fog computing application of cyber-physical models of IoT devices with symbolic approximation algorithms
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
Efficient implementation of resource-constrained cyber-physical systems using multi-core parallelism
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Fog computing application of cyber-physical models of IoT devices with symbolic approximation algorithms
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
Efficient implementation of resource-constrained cyber-physical systems using multi-core parallelism
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Fog computing application of cyber-physical models of IoT devices with symbolic approximation algorithms
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