Dataset - CKAN

Validation methodology of layered systems by Petri Nets : application to Tran...

We develop a method to validate concurrent layered systems. We define two concepts : model concordance (the model verifies the specification properties) and service...
- HTML

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