- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2520-8942
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Towards automated engineering and validation of cyber-physical energy systems ; volume:2 ; number:1 ; day:27 ; month:9 ; year:2019 ; pages:1-12 ; date:9.2019
Energy informatics ; 2, Heft 1 (27.9.2019), 1-12, 9.2019
- Creator
-
Andrén, Filip Pröstl
Strasser, Thomas
Resch, Jürgen
Schuiki, Bernhard
Schöndorfer, Sebastian
Panholzer, Georg
Brandauer, Christof
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1186/s42162-019-0095-x
- URN
-
urn:nbn:de:101:1-2020020412491369364681
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 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
- Andrén, Filip Pröstl
- Strasser, Thomas
- Resch, Jürgen
- Schuiki, Bernhard
- Schöndorfer, Sebastian
- Panholzer, Georg
- Brandauer, Christof
- SpringerLink (Online service)
Other Objects (12)
On Engineering Self-Adaptive Cyber-Physical Systems
Security requirements engineering: a framework for cyber-physical systems
Developing an engineering tool for Cyber-Physical Production Systems
Model-driven information flow security engineering for cyber-physical systems
Engineering ethical behaviors in autonomous industrial cyber-physical human systems
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
ModelPlex: verified runtime validation of verified cyber-physical system models
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
On Engineering Self-Adaptive Cyber-Physical Systems
Security requirements engineering: a framework for cyber-physical systems
Developing an engineering tool for Cyber-Physical Production Systems
Model-driven information flow security engineering for cyber-physical systems
Engineering ethical behaviors in autonomous industrial cyber-physical human systems
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
ModelPlex: verified runtime validation of verified cyber-physical system models
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
On Engineering Self-Adaptive Cyber-Physical Systems
Security requirements engineering: a framework for cyber-physical systems
Developing an engineering tool for Cyber-Physical Production Systems
Model-driven information flow security engineering for cyber-physical systems
Engineering ethical behaviors in autonomous industrial cyber-physical human systems
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
ModelPlex: verified runtime validation of verified cyber-physical system models
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie