Model Checking of Safety-Critical Software in the Nuclear Engineering Domain

Jussi Lahtinen, Janne Valkonen, Kim Björkman, Juho Frits, Ilkka Niemelä, Keijo Heljanko

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

50 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Sivut	104-113
Julkaisu	Reliability Engineering and System Safety
Vuosikerta	105
DOI - pysyväislinkit	https://doi.org/10.1016/j.ress.2012.03.021
Tila	Julkaistu - 2012
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

@article{d50eb4e112734ccc8c5d4dd2fdfb3a3e,

title = "Model Checking of Safety-Critical Software in the Nuclear Engineering Domain",

author = "Jussi Lahtinen and Janne Valkonen and Kim Bj{\"o}rkman and Juho Frits and Ilkka Niemel{\"a} and Keijo Heljanko",

note = "VK: dc hiit",

year = "2012",

doi = "10.1016/j.ress.2012.03.021",

language = "English",

volume = "105",

pages = "104--113",

journal = "Reliability Engineering and System Safety",

issn = "0951-8320",

publisher = "Elsevier Ltd",

}

TY - JOUR

T1 - Model Checking of Safety-Critical Software in the Nuclear Engineering Domain

AU - Lahtinen, Jussi

AU - Valkonen, Janne

AU - Björkman, Kim

AU - Frits, Juho

AU - Niemelä, Ilkka

AU - Heljanko, Keijo

N1 - VK: dc hiit

PY - 2012

Y1 - 2012

U2 - 10.1016/j.ress.2012.03.021

DO - 10.1016/j.ress.2012.03.021

M3 - Article

SN - 0951-8320

VL - 105

SP - 104

EP - 113

JO - Reliability Engineering and System Safety

JF - Reliability Engineering and System Safety

ER -