houssemchemingui / variamos Goto Github PK
View Code? Open in Web Editor NEWThis project forked from spla/variamos
VariaMos is a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models.
Home Page: https://github.com/SPLA/VARIAMOS/wiki