DeltaCCS

swMATH14476MaRDI QIDQ26376FDOQ26376

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-662-45234-9_23

Described by source

• Incremental model checking of delta-oriented software product lines

Cited In (6)

• Family-based SPL model checking using parity games with variability
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• ProMoVer
• VMC
• From EU projects to a family of model checkers. From Kandinsky to KandISTI
• MTSA

This page was built for software: DeltaCCS