On the expressiveness of modal transition systems with variability constraints - Concepedia

Concepedia

Publication | Open Access

On the expressiveness of modal transition systems with variability constraints

DOI Full Paper Access

17

Citations

31

References

2018

Year

Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini

Science of Computer Programming

Variability ConstraintsEngineeringAutomated ReasoningDiscrete Dynamical SystemFormal MethodsComplex Dynamic SystemFinite-state SystemModal Logic

References

	Year	Citations

Page 1