Patrick Heymans 人物
相关论文查看全部 (4)
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
相关公司查看全部 (2)
University of Duisburg-EssenUNIVERSITY
University of NamurUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据