by Dominique Gückel
Reference:
Synthesis of state space generators for model checking microcontroller code (Dominique Gückel), Fachgruppe Informatik, RWTH Aachen University, volume 2014,15, 2014. (Druck-Ausgabe: 2014. – Online-Ausgabe: 2015. Auch veröffentlicht auf dem Publikationsserver der RWTH Aachen University.; Aachen, Techn. Hochsch., Diss., 2014)
Bibtex Entry:
@PHDTHESIS{Gckel:464374, author = {Gückel, Dominique}, othercontributors = {Kowalewski, Stefan}, title = {{S}ynthesis of state space generators for model checking microcontroller code}, volume = {2014,15}, school = {Aachen, Techn. Hochsch.}, address = {Aachen}, publisher = {Fachgruppe Informatik, RWTH Aachen University}, series = {Aachener Informatik-Berichte Technical report / Department of Computer Science, RWTH Aachen}, pages = {XI, 181 S. : Ill., graph. Darst.}, year = {2014}, note = {Druck-Ausgabe: 2014. - Online-Ausgabe: 2015. Auch veröffentlicht auf dem Publikationsserver der RWTH Aachen University.; Aachen, Techn. Hochsch., Diss., 2014}, keywords = {Mikrocontroller (SWD) / Eingebettetes System (SWD) / Informatik (SWD)}, cin = {122810 / 120000}, ddc = {Informatik}, cid = {$I:(DE-82)122810_20140620$ / $I:(DE-82)120000_20140620$}, typ = {PUB:(DE-HGF)11}, urn = {urn:nbn:de:hbz:82-opus-52966}, url = {https://publications.rwth-aachen.de/record/464374}, }