Cristin-resultat-ID: 2066938
Sist endret: 21. februar 2023, 16:18
NVI-rapporteringsår: 2022
Resultat
Vitenskapelig artikkel
2022

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins

Bidragsytere:
  • Eduard Kamburjan
  • Crystal Chang Din
  • Rudolf Schlatte
  • Silvia Lizeth Tapia Tarifa og
  • Einar Broch Johnsen

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2022
Volum: 13701
Sider: 188 - 204
Open Access

Lenker

original online (doi)

Institusjonsarkiv

hdl.handle.net/10852/100547

Beskrivelse Beskrivelse

Tittel

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins

Bidragsytere

Eduard Kamburjan

  • Tilknyttet:
    Forfatter
    ved Centre for Scalable Data Access ved Universitetet i Oslo

Crystal Chang Din

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen

Rudolf Schlatte

  • Tilknyttet:
    Forfatter
    ved Analytiske systemer og resonnering ved Universitetet i Oslo

Silvia Lizeth Tapia Tarifa

  • Tilknyttet:
    Forfatter
    ved Analytiske systemer og resonnering ved Universitetet i Oslo

Einar Broch Johnsen

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo
1 - 5 av 5