Patrick Heymans 人物

关系图谱

Patrick Heymans · 相关论文

Feature Diagrams: A Survey and a Formal Semantics
2006引用 412
Generic semantics of feature diagrams
2006Computer Networks引用 379
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
2013IEEE Transactions on Software Engineering引用 286
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis
2007引用 217