dc.contributor.author | Rummelhoff, Ivar | |
dc.contributor.author | Gutiérrez, Eladio | |
dc.contributor.author | Kristoffersen, Thor O. | |
dc.contributor.author | Liabø, Ole | |
dc.contributor.author | Østvold, Bjarte Mayanja | |
dc.contributor.author | Plata, Oscar | |
dc.contributor.author | Romero, Sergio | |
dc.date.accessioned | 2021-11-30T12:13:26Z | |
dc.date.available | 2021-11-30T12:13:26Z | |
dc.date.created | 2021-11-29T10:11:04Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | IEEE Access. 2021, 9 154914-154932. | en_US |
dc.identifier.issn | 2169-3536 | |
dc.identifier.uri | https://hdl.handle.net/11250/2832078 | |
dc.language.iso | eng | en_US |
dc.rights | Navngivelse-Ikkekommersiell-DelPåSammeVilkår 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/deed.no | * |
dc.subject | Programmeringsspråk | |
dc.subject | Programming languages | |
dc.subject | Datalagring/-henting | |
dc.subject | Data storage/retrieval | |
dc.subject | Formelle metoder | |
dc.subject | Formal methods | |
dc.title | An Abstract Machine Approach to Preserving Digital Information | en_US |
dc.type | Journal article | en_US |
dc.type | Peer reviewed | en_US |
dc.description.version | publishedVersion | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |
dc.identifier.doi | 10.1109/ACCESS.2021.3128382 | |
dc.identifier.cristin | 1960600 | |
dc.source.journal | IEEE Access | en_US |
dc.source.volume | 9 | en_US |
dc.source.pagenumber | 154914-154932 | en_US |
dc.subject.nsi | VDP::Datateknologi: 551 | |
dc.subject.nsi | VDP::Computer technology: 551 | |
dc.subject.nsi | VDP::Datateknologi: 551 | |
dc.subject.nsi | VDP::Computer technology: 551 | |
dc.subject.nsi | VDP::Datateknologi: 551 | |
dc.subject.nsi | VDP::Computer technology: 551 | |