Dataset - CKAN

Formalism for the high-level design of hard real-time embedded systems

Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of...
- HTML

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