Synthesis of state space generators for model checking microcontroller code
Gückel, Dominique 2015 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1073187012
- Titel
-
Synthesis of state space generators for model checking microcontroller code
- Art des Inhalts
- Monographie
- Verfassangaben
- Dominique Gückel
- Autor
-
Gückel, Dominique
- Verlag
- Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen [2015]
- Jahr
- Erscheinungsdatum: 2015
- Umfang/Format
- Online-Ressource
- ISSN
09353232- Online
- https://nbn-resolving.org/urn:nbn:de:hbz:82-opus-52966
- Sprache
- eng
- Schlagwörter
-
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 2014
- Stand
- 22.12.2025 06:47
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
