Data · dataset · 2024
Formalising a Gateway-based Blockchain Interoperability Solution with Event-B (Replication package)
Listed in Redata
Description
This repository holds the artefacts that raised the results of our first paper Formalising a Gateway-based Blockchain Interoperability Solution with Event-B to be presented at the ICBC Cross-chain workshop: icbc2024.ieee-icbc.org/workshop/crosschain
Links
Where it is published
- Dataverse dataset page redata.anii.org.uy/dataset.xhtml?persistentId=doi%3A10.5281%2Fzenodo.10956083 ↗
landing page · from redata anii org uy
- DOI doi.org/10.5281/zenodo.10956083 ↗
DOI / persistent id · from redata anii org uy
Catalogue records · 1
- Dataverse API redata.anii.org.uy/api/datasets/:persistentId/?persistentId=doi%3A10.5281%2Fzenod… ↗
metadata API · from redata anii org uy
Topics
- Inferred from text
- Theory of computation 74%
Provenance · 1 source records, 6 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| Redata | doi:10.5281/zenodo.10956083 | 8 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].anzsrc:group:4613 | enrichment · redata anii org uy | taxonomy-embedding@1.1.0 | title+keywords+description (74%) |
| created_date | source · redata anii org uy | connector:redata_anii_org_uy@1.0.0 | |
| description | source · redata anii org uy | connector:redata_anii_org_uy@1.0.0 | /description |
| publication_date | source · redata anii org uy | connector:redata_anii_org_uy@1.0.0 | |
| title | source · redata anii org uy | connector:redata_anii_org_uy@1.0.0 | /name |
| updated_date | source · redata anii org uy | connector:redata_anii_org_uy@1.0.0 |