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 Pages
(Embedded Sytems II 3)

URN: urn:nbn:de:0002-8053

Zugl.: Kassel, Univ., Diss. 2009

Publication is available in following forms:

Full text (pdf-file, not printable - 1.54 MB)
view PDF
Full text (pdf-file, printable, with costs - 1.54 MB) 10.00 Euro
(free of charge in kassel University network - you are in kassel University network if you are in the workplace, or you are using a pc in the ITS or in the library)
download PDF - Attention! with costs, because you are not in kassel University network!