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

*Title*:

*Author/editor-in-chief*:

*Publication*:

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

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachener Informatik-Berichte ; 2014,15

*Dissertation note*:

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

*Subject Added Keywords*:

*Result*: Synthesis of state space generators for model checking microcontroller code