Treffer: Development of automatic program verification for continuous function chart based on model checking
Titel:
Development of automatic program verification for continuous function chart based on model checking / Awang Noor Indra Wardana
Beteiligt:
Veröffentlicht:
Kassel : Kassel University Press, 2009
Umfang:
121 Seiten : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Embedded systems : 2, Forschung ; 3
alle Bände anzeigen
alle Bände anzeigen
Hochschulschrift:
Dissertation, Universität Kassel, 2009
RVK-Notation:
Schlagworte:
ISBN:
9783899588064