![](/img/cover-not-exists.png)
[IEEE 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Hamilton, New Zealand (2016.12.6-2016.12.9)] 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination
Rathmair, Michael, Luckeneder, Christoph, Kaindl, HermannYear:
2016
Language:
english
DOI:
10.1109/APSEC.2016.041
File:
PDF, 904 KB
english, 2016