Compositional model checking of software product lines using variation point obligations
2010 ◽
Vol 18
(1)
◽
pp. 39-76
◽
Keyword(s):
Keyword(s):
Keyword(s):
2016 ◽
Vol 85
(1)
◽
pp. 245-267
◽
Keyword(s):
2019 ◽
Vol 18
(4)
◽
pp. 340
Keyword(s):
2019 ◽
Vol 18
(4)
◽
pp. 340
2004 ◽
Vol 53
(3)
◽
pp. 305-331
◽
Keyword(s):