Skip to content
/ VARIAMOS Public

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.

Notifications You must be signed in to change notification settings

SPLA/VARIAMOS

About

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.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published