Cristin-resultat-ID: 1849419
Sist endret: 18. februar 2021, 11:30
NVI-rapporteringsår: 2020
Resultat
Vitenskapelig artikkel
2020

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients

Bidragsytere:
  • Einar Broch Johnsen
  • Martin Steffen og
  • Johanna Beate Stumpf

Tidsskrift

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

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2020
Volum: 12476
Sider: 103 - 121

Beskrivelse Beskrivelse

Tittel

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients

Bidragsytere

Einar Broch Johnsen

  • Tilknyttet:
    Forfatter
    ved Analytiske systemer og resonnering ved Universitetet i Oslo
Aktiv cristin-person

Martin Steffen

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

Johanna Beate Stumpf

  • Tilknyttet:
    Forfatter
    ved Analytiske systemer og resonnering ved Universitetet i Oslo
1 - 3 av 3