Treffer: Synthesis of state space generators for model checking microcontroller code

Titel:

Beteiligt:

Veröffentlicht:

Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2015

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2014,15

Hochschulschrift:

Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2014

Schlagworte:

Zusatz-Informationen