/RGMToPRISM

A Runtime Goal Model to PRISM model generator to be used with TAOM4E tool for TROPOS.

Primary LanguageJava

RGMToPRISM

A Runtime Goal Model to PRISM model generator to be used with TAOM4E tool for TROPOS.