Dataset - CKAN

Vérification Observationnelle

Stage de DEA. Rapport de stage.
- HTML
Manipulating Algebraic Specifications with Term-based and Graph-based Represe...

Special Issue on Annotated Terms (ATerms). Article dans revue scientifique avec comité de lecture. nationale.
- HTML
Deductive Verification of Distributed Groupware Systems

Colloque avec actes et comité de lecture. nationale.
- HTML

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

3 datasets found