Embedded computer systems - Congresses.

Cryptographic hardware and embedded systems - CHES 2012 = 14th International Workshop, Leuven, Belgium, September 9-12, 2012 : proceedings / by: (Electronic resources)

VLSI-SoC: Advanced Topics on Systems on a Chip = a selection of extended versions of the best papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA / by: (Electronic resources)

Cryptographic hardware and embedded systems - CHES 2014 = 16th International Workshop, Busan, South Korea, September 23-26, 2014 : proceedings / by: (Electronic resources)

Formal modeling and verification of cyber-physical systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / by: (Language materials, printed)