Development of Automatic Program Verification for Continuous Function Chart based on Model Checking

Wardana, Awang Noor Indra

kassel university press, ISBN: 978-3-89958-806-4, 2009, 129 Seiten
(Embedded Sytems II 3)

URN: urn:nbn:de:0002-8053

Zugl.: Kassel, Univ., Diss. 2009

Die Publikation ist in folgenden Formen erhältlich:

Volltext (pdf-Datei, nicht ausdruckbar - 1.54 MB)
PDF ansehen (view)
Volltext (pdf-Datei, ausdruckbar, kostenpflichtig - 1.54 MB) 10.00 Euro
(kostenfrei im Netz der Universität Kassel - Im Netz der Uni Kassel befinden Sie sich, wenn Sie z.B. an einem Rechner im ITS, Ihrem Arbeitsplatz an der Uni oder auch in der Multimediathek der Bibliothek befinden.)
PDF erwerben (download) - Achtung kostenpflichtig, da Sie sich zur Zeit nicht im Netz der Uni-Kassel befinden