Dataset - CKAN

Formal approaches for performability analysis of communicating systems : an a...

We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques. We model these systems using a...
- HTML

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