Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints - Concepedia

Concepedia

Publication | Open Access

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

DOI Full Paper Access

83

Citations

39

References

2015

Year

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Journal of Logical and Algebraic Methods in Programming

Systems AnalysisVariability ConstraintsEngineeringUncertainty QuantificationDesignVerificationProcess ControlFormal MethodsSystems EngineeringProduct FamiliesProduct ModelingManaging VariabilityModel CheckingProcess ModellingFormal VerificationDependability Modelling

References

	Year	Citations

Page 1

Page 1