Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking
Author | : Awang Noor Indra Wardana |
Publisher | : kassel university press GmbH |
Total Pages | : 131 |
Release | : 2009 |
ISBN-10 | : 9783899588071 |
ISBN-13 | : 389958807X |
Rating | : 4/5 (07X Downloads) |
Download or read book Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking written by Awang Noor Indra Wardana and published by kassel university press GmbH. This book was released on 2009 with total page 131 pages. Available in PDF, EPUB and Kindle. Book excerpt: