- Alternative title
-
Automatische Generatormethodik für sichere eingebettete Software
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2023
- Keyword
-
Eingebettetes System
Modellgetriebene Entwicklung
Softwareentwicklung
Codegenerierung
Softwaretest
Softwarearchitektur
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2023
- Creator
-
Werner, Michael
- Contributor
-
Ecker, Wolfgang
Ecker, Wolfgang
Müller-Gritschneder, Daniel
- URN
-
urn:nbn:de:bvb:91-diss-20231218-1699593-1-0
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 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
- Werner, Michael
- Ecker, Wolfgang
- Müller-Gritschneder, Daniel
- Universitätsbibliothek der TU München
Time of origin
- 2023
Other Objects (12)
Generator for safe interactive systems : GENESIS
Synthesizing program generators for embedded software
A resource generator methodology for hotels
Security engineering methodology for embedded systems in metering
Wheel of Fortune: Analyzing Embedded OS Random Number Generators
Semi-automatic optimization of hardware architectures in embedded systems
Semi-automatic optimization of hardware architectures in embedded systems
GENESIS : Generator for safe interactive systems ; version 5.0 ; user's manual
SEMANTICS-AWARE PLANNING METHODOLOGY FOR AUTOMATIC WEB SERVICE COMPOSITION
Semantics-aware planning methodology for automatic web service composition
Model-based engineering of embedded systems : the SPES 2020 methodology
Model-driven engineering methodology for design space exploration of embedded systems
Generator for safe interactive systems : GENESIS
Synthesizing program generators for embedded software
A resource generator methodology for hotels
Security engineering methodology for embedded systems in metering
Wheel of Fortune: Analyzing Embedded OS Random Number Generators
Semi-automatic optimization of hardware architectures in embedded systems
Semi-automatic optimization of hardware architectures in embedded systems
GENESIS : Generator for safe interactive systems ; version 5.0 ; user's manual
SEMANTICS-AWARE PLANNING METHODOLOGY FOR AUTOMATIC WEB SERVICE COMPOSITION
Semantics-aware planning methodology for automatic web service composition
Model-based engineering of embedded systems : the SPES 2020 methodology
Model-driven engineering methodology for design space exploration of embedded systems
Generator for safe interactive systems : GENESIS
Synthesizing program generators for embedded software
A resource generator methodology for hotels
Security engineering methodology for embedded systems in metering
Wheel of Fortune: Analyzing Embedded OS Random Number Generators
Semi-automatic optimization of hardware architectures in embedded systems
Semi-automatic optimization of hardware architectures in embedded systems
GENESIS : Generator for safe interactive systems ; version 5.0 ; user's manual
SEMANTICS-AWARE PLANNING METHODOLOGY FOR AUTOMATIC WEB SERVICE COMPOSITION
Semantics-aware planning methodology for automatic web service composition
Model-based engineering of embedded systems : the SPES 2020 methodology