Dataset - CKAN

Formal verification of Mobile Robot Protocols

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of...
- HTML

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