Treffer: Development of automatic program verification for continuous function chart based on model checking

Titel:

Beteiligt:

Veröffentlicht:

Kassel : Kassel University Press, 2009

Umfang:

1 Online-Ressource (121 Seiten) : Diagramme

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Embedded systems : 2, Forschung ; 3
alle Bände anzeigen

Hochschulschrift:

Dissertation, Universität Kassel, 2009

Anmerkungen:

Download lizenzpflichtig

RVK-Notation:

Schlagworte:

ISBN:

9783899588071 ; 9783899588064 (Sekundärausgabe)

Zusatz-Informationen