Author:
Beek Maurice H. ter,de Vink Erik P.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Efficient static analysis and verification of featured transition systems;Empirical Software Engineering;2021-10-23
2. Family-Based SPL Model Checking Using Parity Games with Variability;Fundamental Approaches to Software Engineering;2020
3. Quantitative variability modelling and analysis;International Journal on Software Tools for Technology Transfer;2019-09-20
4. Static Analysis of Featured Transition Systems;Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A;2019-09-09
5. Quantitative Variability Modeling and Analysis;Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems;2019-02-06