Treffer: Synthesis of state space generators for model checking microcontroller code
Titel:
Synthesis of state space generators for model checking microcontroller code / Dominique Marcel Gückel
Beteiligt:
Veröffentlicht:
Aachen : RWTH Aachen, 2014
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
1 Online-Ressource (197 Seiten, 5,34 MB) : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte ; 2014,15
Technical report / $l2014, 15
Technical report / Department of Computer Science, RWTH Aachen
Technical report / $l2014, 15
Technical report / Department of Computer Science, RWTH Aachen
Schlagworte: