Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems.

Amal Ahmed Anda, Daniel Amyot

Browse the full RE paper archive.