Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination.

Michael Rathmair, Christoph Luckeneder, Hermann Kaindl

Browse the full APSEC paper archive.