Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components
by:
G. Nicolescu ·
Ahmed A. Jerraya
Hardcover
details (
United States
).
ISBN: 978-1-4020-6151-6
ISBN-10: 1-4020-6151-X
Springer
· 2007
