Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking
Download or Read eBook Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking PDF 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.
| Author | : Awang Noor Indra Wardana |
| Publisher | : kassel university press GmbH |
| Total Pages | : 131 |
| Release | : 2009 |
| ISBN-10 | : 9783899588071 |
| ISBN-13 | : 389958807X |
| Rating | : 4/5 (71 Downloads) |
Book Synopsis Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking by : Awang Noor Indra Wardana
Book excerpt:
