Treffer: Synthesis of state space generators for model checking microcontroller code
Titel:
Synthesis of state space generators for model checking microcontroller code / Dominique Gückel
Beteiligt:
Veröffentlicht:
Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2015
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte ; 2014,15
Hochschulschrift:
Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2014
Schlagworte: