Summary
Augmenting Sandbox with improved model checking, plus its evaluation – M26
Results type(s)
Unfold all
/
Fold all
Report - Video - Presentation - Publication....?
More information & hyperlinks
Structured mapping
Unfold all
/
Fold all
Report - Video - Presentation - Publication....?
System resource tags
Search
Contacts
Not specified (see website if available) or see associated project
Associated projects
Associated products/services
- No items published
Organisations
- Not specified