TY - CHAP A1 - Kugele, Stefan A1 - Marmsoler, Diego A1 - Mata, NĂºria A1 - Werther, Kai T1 - Verification of component architectures using mode-based contracts T2 - 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) UR - https://doi.org/10.1109/MEMCOD.2016.7797758 KW - Contracts KW - Cognition KW - Cost accounting KW - Concrete KW - Computer architecture KW - Complexity theory KW - Context modeling Y1 - 2016 UR - https://doi.org/10.1109/MEMCOD.2016.7797758 SN - 978-1-5090-2791-0 SP - 133 EP - 142 PB - IEEE CY - Piscataway ER -