models-team / p3-tool Goto Github PK
View Code? Open in Web Editor NEWThis project forked from itu-square/p3-tool
A reconfigurator tool for fPromela with support for variability abstractions.
Home Page: http://models-team.github.io/p3-tool
License: GNU General Public License v3.0