- Alternative title
-
Ein Manöver-zentrierter, formaler Entwicklungsansatz für cyber-physische Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Braunschweig, Technische Universität Braunschweig, Dissertation, 2022
- Keyword
-
Engineering
Cooperating objects (Computer systems)
- Event
-
Veröffentlichung
- (where)
-
Braunschweig
- (who)
-
Universitätsbibliothek Braunschweig
- (when)
-
2022
- Creator
- Contributor
- DOI
-
10.24355/dbbs.084-202204121019-0
- URN
-
urn:nbn:de:gbv:084-2022051809481
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
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
- Kittelmann, Alexander
- Schaefer, Ina
- Hähnle, Reiner
- Johnsen, Einar Broch
- Universitätsbibliothek Braunschweig
Time of origin
- 2022
Other Objects (12)
Synthesizing Communication-Centric Automotive Cyber-Physical Systems
Formal synthesis of partially-observable cyber-physical systems
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Accountability for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
MAC protocols for cyber-physical systems
A Metamodel for Cyber-Physical Systems
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
Cyber-Physical Systems in der Industrie
A formal approach to the development of industrial cyber-physical systems
Optimizing control of distributed cyber-physical systems
Synthesizing Communication-Centric Automotive Cyber-Physical Systems
Formal synthesis of partially-observable cyber-physical systems
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Accountability for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
MAC protocols for cyber-physical systems
A Metamodel for Cyber-Physical Systems
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
Cyber-Physical Systems in der Industrie
A formal approach to the development of industrial cyber-physical systems
Optimizing control of distributed cyber-physical systems
Synthesizing Communication-Centric Automotive Cyber-Physical Systems
Formal synthesis of partially-observable cyber-physical systems
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Accountability for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
MAC protocols for cyber-physical systems
A Metamodel for Cyber-Physical Systems
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
Cyber-Physical Systems in der Industrie
A formal approach to the development of industrial cyber-physical systems