Hochschulschrift
Synthesis of state space generators for model checking microcontroller code
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
0935-3232
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Aachen, Techn. Hochsch., Diss., 2014
- Bibliographic citation
-
Aachener Informatik-Berichte ; 2014,15
- Classification
-
Informatik
- Keyword
-
Mikrocontroller ;Eingebettetes System ;Informatik
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
- (when)
-
2015
- Creator
- URN
-
urn:nbn:de:hbz:82-opus-52966
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:52 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.
Object type
- Hochschulschrift
Associated
- Gückel, Dominique
- Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
Time of origin
- 2015
Other Objects (12)
Polyhedral Search Space Exploration in the ExaStencils Code Generator
Generating a Code Generator
Checking security compliance between models and code
Model checking boot code from AWS data centers
Output space compaction for testing and concurrent checking
Output space compaction for testing and concurrent checking
Liveness checking as safety checking
Automated code compliance checking research based on BIM and knowledge graph
Noise from plants systems and Building Information Modeling: The Code Checking.
Model checking and code generation for UML state machines and collaborations
A novel code generator for graphical user interfaces
On space time concatenated codes
Polyhedral Search Space Exploration in the ExaStencils Code Generator
Generating a Code Generator
Checking security compliance between models and code
Model checking boot code from AWS data centers
Output space compaction for testing and concurrent checking
Output space compaction for testing and concurrent checking
Liveness checking as safety checking
Automated code compliance checking research based on BIM and knowledge graph
Noise from plants systems and Building Information Modeling: The Code Checking.
Model checking and code generation for UML state machines and collaborations
A novel code generator for graphical user interfaces
On space time concatenated codes
Polyhedral Search Space Exploration in the ExaStencils Code Generator
Generating a Code Generator
Checking security compliance between models and code
Model checking boot code from AWS data centers
Output space compaction for testing and concurrent checking
Output space compaction for testing and concurrent checking
Liveness checking as safety checking
Automated code compliance checking research based on BIM and knowledge graph
Noise from plants systems and Building Information Modeling: The Code Checking.
Model checking and code generation for UML state machines and collaborations
A novel code generator for graphical user interfaces