Treffer: Model checking software for microcontrollers

Titel:

Verantwortlich:

Schlich, Bastian

Veröffentlicht:

Aachen : RWTH, 2006

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (33 S., 240 KB)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2006,11

Schlagworte:

Zusatz-Informationen