Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking
Publisher: Kassel University Press GmbH
Published: 2009
Language: eng
ISBN-13: 9783899588071