TY - CHAP A1 - Kugele, Stefan A1 - Pucea, Gheorghe A1 - Popa, Ramona A1 - Dieudonné, Laurent A1 - Eckardt, Horst T1 - On the deployment problem of embedded systems T2 - 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) UR - https://doi.org/10.1109/MEMCOD.2015.7340482 KW - Optimization KW - Hardware KW - Embedded systems KW - Safety KW - Aerospace electronics Y1 - 2015 UR - https://doi.org/10.1109/MEMCOD.2015.7340482 SN - 978-1-5090-0237-5 SP - 158 EP - 167 PB - IEEE CY - Piscataway ER -