Cristin-resultat-ID: 2234981
Sist endret: 23. februar 2024, 14:33
NVI-rapporteringsår: 2023
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2023

Eiffel : Extending formal verification of distributed algorithms to utility analysis

Bidragsytere:
  • Arian Baloochestani Asl og
  • Leander Jehl

Bok

2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)
ISBN:
  • 979-8-3503-1782-4

Utgiver

IEEE (Institute of Electrical and Electronics Engineers)
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2023
Sider: 111 - 117
ISBN:
  • 979-8-3503-1782-4

Lenker

original online (doi)

ORIA

Klassifisering

Fagfelt (NPI)

Fagfelt: IKT
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

Eiffel : Extending formal verification of distributed algorithms to utility analysis

Bidragsytere

Arian Baloochestani Asl

  • Tilknyttet:
    Forfatter
    ved Institutt for data- og elektroteknologi ved Universitetet i Stavanger

Leander Nikolaus Jehl

Bidragsyterens navn vises på dette resultatet som Leander Jehl
  • Tilknyttet:
    Forfatter
    ved Institutt for data- og elektroteknologi ved Universitetet i Stavanger
1 - 2 av 2

Resultatet er en del av Resultatet er en del av

2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).

Bertin, Emmanuel; Anceaume, Emmanuelle. 2023, IEEE (Institute of Electrical and Electronics Engineers). Vitenskapelig antologi/Konferanseserie
1 - 1 av 1