issues
search
lesunb
/
CRGMToPRISM
In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.
2
stars
6
forks
source link
Partial Fixes #2 - Wrong reference
#4
Closed
gabrielsr
closed
9 years ago
gabrielsr
commented
9 years ago
Fixing version reference for taom4e-platform
Fixing version reference for taom4e-platform