Dataset - CKAN

Formal specification method for systems automation

Currently automatic control deals with the theoretical modelling techniques applied to formally define the behaviour of a control system when the system goals and the...
- HTML

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