Summary
Implementation and evaluation of formal model using model checker/big data analytics techniques – M24
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