Dataset - CKAN

Compositional modeling of globally asynchronous locally synchronous (GALS) ar...

AADL is dedicated to high-level design and evaluation of embedded systems. It allows describing both system structure and functional aspects via a component-based...
- HTML

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