Dataset - CKAN

An Anticipative Effects Driven Approach for crisis management process analysis

This paper aims to present and illustrate how using formal verification approaches and techniques could allow managing and controlling efficiently a given system...
- HTML

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