Summary
Initial specifications for formal verification and model checker/big data analytics techniques – M16
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