*Result*: Development of automatic program verification for continuous function chart based on model checking
*Title*:
Development of automatic program verification for continuous function chart based on model checking / Awang Noor Indra Wardana
*Author/editor-in-chief*:
*Publication*:
Kassel : Kassel University Press, 2009
*Physical description scale*:
1 Online-Ressource (121 Seiten) : Diagramme
*Format*:
*Language*:
*eng*
*series_multipart*:
Embedded systems : 2, Forschung ; 3
*show_all_volumes*
*show_all_volumes*
*Dissertation note*:
Dissertation, Universität Kassel, 2009
*Notes*:
Download lizenzpflichtig
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
9783899588071 ; 9783899588064 (Sekundärausgabe)