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

Description

Zugl.: Kassel, University, Diss., 2009.

Links & Downloads

1. http://d-nb.info/998980234/04
2. http://www.upress.uni-kassel.de/publi/abstract.php?978-3-89958-806-4

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/530358879
Date	January 2009
Creators	Wardana, Awang Noor Indra.
Publisher	Kassel : Kassel Univ. Press,
Source Sets	OCLC
Language	English
Detected Language	English