Hochschulschrift
A formal approach to the development of industrial cyber-physical systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
cc_by_nc_nd http://creativecommons.org/licenses/by-nc-nd/4.0/deed.de cc
Albert-Ludwigs-Universität Freiburg, Dissertation, 2016
- Classification
-
Informatik
- Keyword
-
Verifikation
Software Engineering
Modellgetriebene Entwicklung
Klein- und Mittelbetrieb
Eingebettetes System
Cyber-physisches System
Model Checking
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Freiburg
- (who)
-
Universität
- (when)
-
2016
- Creator
- Contributor
- DOI
-
10.6094/UNIFR/12292
- URN
-
urn:nbn:de:bsz:25-freidok-122929
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 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.
Object type
- Hochschulschrift
Associated
- Feo Arenis, Sergio Alejandro
- Podelski, Andreas
- Albert-Ludwigs-Universität Freiburg
- Technische Fakultät
- Universität
Time of origin
- 2016
Other Objects (12)
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
A Maneuver-Centric Formal Engineering Approach 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
MAC protocols for cyber-physical systems
Industrial cyber-physical systems : advancing industry 4.0 from vision to application
Optimizing control of distributed 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
A Maneuver-Centric Formal Engineering Approach 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
MAC protocols for cyber-physical systems
Industrial cyber-physical systems : advancing industry 4.0 from vision to application
Optimizing control of distributed 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
A Maneuver-Centric Formal Engineering Approach 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
MAC protocols for cyber-physical systems
Industrial cyber-physical systems : advancing industry 4.0 from vision to application