Cristin-resultat-ID: 2231007
Sist endret: 8. februar 2024, 18:07
NVI-rapporteringsår: 2023
Resultat
Vitenskapelig artikkel
2023

Emerging Challenges in Compositionality and Correctness for Digital Twins

Bidragsytere:
  • Eduard Kamburjan
  • Vidar Norstein Klungre
  • Silvia Lizeth Tapia Tarifa
  • Rudolf Schlatte
  • Martin Giese
  • David B. Cameron
  • mfl.

Tidsskrift

CEUR Workshop Proceedings
ISSN 1613-0073
e-ISSN 1613-0073
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2023
Volum: 3507
Open Access

Beskrivelse Beskrivelse

Tittel

Emerging Challenges in Compositionality and Correctness for Digital Twins

Bidragsytere

Eduard Kamburjan

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo

Vidar Norstein Klungre

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

Silvia Lizeth Tapia Tarifa

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo

Rudolf Schlatte

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo

Martin Giese

  • Tilknyttet:
    Forfatter
    ved Analytiske systemer og resonnering ved Universitetet i Oslo
1 - 5 av 7 | Neste | Siste »