Summary
This deliverable will identify STORM models for representing events and situations in the STORM context, as a result from the work of T6.1.
More information & hyperlinks