Verification of Feature Coordination using the Fluent Calculus

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering ◽

10.5220/0006771401690179 ◽

2018 ◽

Author(s):

Ralph Hoch ◽

Hermann Kaindl

Download Full-text