Treffer: Model checking of software for microcontrollers

Titel:

Beteiligt:

Schlich, Bastian

Veröffentlicht:

Aachen : RWTH, 2008

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (171 S., 1,36 MB) : graph. Darst.

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2008,14

Anmerkungen:

Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden

Schlagworte:

Zusatz-Informationen