Title: Advances In Design Methods From Modeling Languages For Embedded Systems And Socs Selected Contributions On Specification Design And Verification From Fdl 2009
Subjects: Systems engineering, Engineering, Computer science, Congresses, Computer hardware description languages, System design, Modeling languages (Computer science), Embedded computer systems