Dataset - CKAN

A formal framework for model verification in System Engineering: UPSL

The aim of this paper is to present and to illustrate a formal model verification framework called UPSL (Unified Property Specification Language) applied here in...
- HTML

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