Advances In Design Methods From Modeling Languages For Embedded Systems And Socs Selected Contributions On Specification Design And Verification From Fdl 2009
Publisher: Springer
Published: 2010
ISBN-13: 9789048193035