MerlinPokam/model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
Discovered public repositories for MerlinPokam in the GitHub catalog.
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
Elicit requirements coming from CENELEC standards particularly EN 50128:2011 and that will have to be fulfilled by the overall “Open” methodology
part of WP2
openECTS Ecosystem