Historikk

Cristin-resultat-ID: 2004274

Sist endret: 22. februar 2022, 14:21

Resultat

Leder

2021

Formal Techniques for Safety-Critical Systems (FTSCS 2018)

Cyrillo Artho og
Peter Csaba Ølveczky

Tidsskrift Tidsskrift

Science of Computer Programming

ISSN 0167-6423
e-ISSN 1872-7964

NVI-nivå 1

Finn i kanalregisteret

Om resultatet Om resultatet

Leder

Publiseringsår: 2021

Publisert online: 2021

Volum: 208

Artikkelnummer: 102658

Lenker Lenker

original online (doi)

https://doi.org/10.1016/j.scico.2021.102658

Importkilder Importkilder

Scopus-ID: 2-s2.0-85104426220

Beskrivelse Beskrivelse

Engelsk

Tittel

Formal Techniques for Safety-Critical Systems (FTSCS 2018)

Bidragsytere Bidragsytere

Cyrillo Artho

Forfatter
ved Kungliga Tekniska högskolan

Peter Csaba Ølveczky

Forfatter
ved PROG Programmering ved Universitetet i Oslo

1 - 2 av 2