Dataset - CKAN

Design, verification and implementation of systems of components

In this thesis, we have studied how component-based systems are designed, verified and then implemented. We have focused in particular on formalisms involving complex...
- HTML

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