Amal Ahmed Anda, Daniel Amyot. Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. In Daniela E. Damian, Anna Perini, Seok-Won Lee, editors, 27th IEEE International Requirements Engineering Conference, RE 2019, Jeju Island, Korea (South), September 23-27, 2019. pages 245-256, IEEE, 2019. [doi]
Abstract is missing.