Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's: Selected Contributions on Specification, Design, and Verification f (Paperback, 2010)
Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's: Selected Contributions on Specification, Design, and Verification f (Hardcover, 2010)