Dataset - CKAN

Application of Interface Theories to the Separate Compilation of Synchronous ...

International audience
- HTML
Ensuring Reachability by Design

ISSN 0249-6399 ISRN INRIA/RR--7928--FR+ENG ; RESEARCH REPORT N° 7928, May 2012, Project-Team S4
- HTML

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