1
Analysis, Architectures and Modelling of Embedded Systems [E-Book] : Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings /
2
Functional Verification of Programmable Embedded Architectures [E-Book] : A Top-Down Approach /