Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.

Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder

Browse the full ENASE paper archive.