Dataset - CKAN

Modern languages for modeling and verifying asynchronous systems

The work in this thesis is at the intersection of two major research domains~: Model-Driven Engineering (MDE) and formal methods, and has various fields of...
- HTML

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