Advances in Design Methods from Modeling Languages for Embedded Systems and SoCβs Selected Contributions on Specification, Design, and Verification from FDL 2009

Bibliographic Details
Main Author:	Borrione, Dominique
Corporate Author:	SpringerLink (Online service)
Format:	Electronic Kit Book
Language:	English
Published:	Dordrecht Springer Science+Business Media B.V. 2010
Series:	Lecture Notes in Electrical Engineering 63
Subjects:	Engineering Computer science Systems engineering Circuits and Systems Programming Languages, Compilers, Interpreters
Online Access:	http://dx.doi.org/10.1007/978-90-481-9304-2

Advances in Design Methods from Modeling Languages for Embedded Systems and SoCβs Selected Contributions on Specification, Design, and Verification from FDL 2009