Taxonomies for the Development and Verification of Digital Systems
Publisher: Springer
Published: 2005
Language: eng
ISBN-13: 9780387240213
Subjects: Digital control systems