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
Responsible:
Published:
Kassel : Kassel University Press, 2009
Extent:
1 Online-Ressource (121 Seiten) : Diagramme
Format:
Language:
English
Series/ Mutipart item:
Embedded systems : 2, Forschung ; 3
Show all volumes
Show all volumes
Thesis:
Dissertation, Universität Kassel, 2009
Notes:
Download lizenzpflichtig
RVK-Notation:
Subject headings:
ISBN:
9783899588071 ; 9783899588064 (Sekundärausgabe)