Model checking of software for microcontrollers (English)
Free access
- New search for: Schlich, Bastian
2008
- Theses / Electronic Resource
-
Title:Model checking of software for microcontrollers
-
Contributors:
-
Dissertation:Zugl.: Aachen, Univ., Diss., 2008
-
Published in:Aachener Informatik-Berichte ; 2008,14
-
Publisher:
- New search for: RWTH
-
Place of publication:Aachen
-
Publication date:2008
-
Size:Online-Ressource (171 S., 1,36 MB)
-
Remarks:graph. Darst.
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek -
Type of media:Theses
-
Type of material:Electronic Resource
-
Language:English
-
Contract number:AIB-2008-14
- New search for: 54.52 / 53.55
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source: