Dataset - CKAN

Contribution to the Systems Engineering: Refinement and Refactoring of UML sp...

Specifying complex systems is a difficult task which cannot be done in one step. In the framework of formal methods, the refinement is a key feature to incrementally...
- HTML

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