Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder. Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Evaluation of Novel Approaches to Software Engineering - 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers. Volume 1023 of Communications in Computer and Information Science, pages 261-287, Springer, 2018. [doi]

This author has not been identified. Look up 'Hermann Kaindl' in GoogleThis author has not been identified. Look up 'Ralph Hoch' in GoogleThis author has not been identified. Look up 'Michael Rathmair' in GoogleThis author has not been identified. Look up 'Christoph Luckeneder' in Google

runs on WebDSL