Intelligence for Embedded Systems A Methodological Approach

The FLP Microsatellite Platform Flight Operations Manual

Mobile Services for Toy Computing

Electrical Design of Through Silicon Via

Algorithm & SoC Design for Automotive Vision Systems For Smart Safe Driving System

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers