Cristin-resultat-ID: 2004274
Sist endret: 22. februar 2022, 14:21
Resultat
Leder
2021

Formal Techniques for Safety-Critical Systems (FTSCS 2018)

Bidragsytere:
  • Cyrillo Artho og
  • Peter Csaba Ølveczky

Tidsskrift

Science of Computer Programming
ISSN 0167-6423
e-ISSN 1872-7964
NVI-nivå 1

Om resultatet

Leder
Publiseringsår: 2021
Publisert online: 2021
Volum: 208
Artikkelnummer: 102658

Importkilder

Scopus-ID: 2-s2.0-85104426220

Beskrivelse Beskrivelse

Tittel

Formal Techniques for Safety-Critical Systems (FTSCS 2018)

Bidragsytere

Cyrillo Artho

  • Tilknyttet:
    Forfatter
    ved Kungliga Tekniska högskolan

Peter Csaba Ølveczky

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