Cristin-resultat-ID: 1841968
Sist endret: 4. juli 2022, 12:38
NVI-rapporteringsår: 2020
Resultat
Vitenskapelig artikkel
2020

Model checking starvation for resource-aware active objects with coloured petri nets

Bidragsytere:
  • Anastasia Gkolfi
  • Einar Broch Johnsen
  • Lars Michael Kristensen og
  • Ingrid Chieh Yu

Tidsskrift

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

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2020
Volum: 2651
Sider: 68 - 85
Open Access

Lenker

Institusjonsarkiv

hdl.handle.net/10852/80889

Importkilder

Scopus-ID: 2-s2.0-85092275481

Beskrivelse Beskrivelse

Tittel

Model checking starvation for resource-aware active objects with coloured petri nets

Bidragsytere

Anastasia Gkolfi

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

Einar Broch Johnsen

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo

Lars Michael Kristensen

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Ingrid Chieh Yu

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