Dataset - CKAN

Model integration for formal qualification of timing-aware software data acqu...

The paper proposes to integrate design and formal modelling approaches, based on MARTE, IF and CDL, to evaluate different possible uses and configurations of a data...
- HTML

You can also access this registry using the API (see API Docs).