Model Checking Methodology for Supporting Safety Critical Software Development and Verification

Jussi Lahtinen; Janne Valkonen; Kim Björkman; Juho Frits; Ilkka Niemelä

Model Checking Methodology for Supporting Safety Critical Software Development and Verification

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific

2 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Reliability, Risk and Safety: Back to the Future
Alaotsikko	European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010
Toimittajat	Ben J.M. Ale, Ioannis A. Papazoglou, Enrico Zio
Sivut	2056-2063
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	B3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

Siteeraa tätä

Lahtinen, J., Valkonen, J., Björkman, K., Frits, J., & Niemelä, I. (2010). Model Checking Methodology for Supporting Safety Critical Software Development and Verification. teoksessa B. J. M. Ale, I. A. Papazoglou, & E. Zio (Toimittajat), Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 (Sivut 2056-2063)

Lahtinen, Jussi ; Valkonen, Janne ; Björkman, Kim ; Frits, Juho ; Niemelä, Ilkka. / Model Checking Methodology for Supporting Safety Critical Software Development and Verification. Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . Toimittaja / Ben J.M. Ale ; Ioannis A. Papazoglou ; Enrico Zio. 2010. Sivut 2056-2063

@inproceedings{071595db856f4672b1c13f5934338a50,

title = "Model Checking Methodology for Supporting Safety Critical Software Development and Verification",

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

note = "VK: modsafe",

year = "2010",

language = "English",

isbn = "978-041560427-7",

pages = "2056--2063",

editor = "Ale, {Ben J.M.} and Papazoglou, {Ioannis A.} and Enrico Zio",

booktitle = "Reliability, Risk and Safety: Back to the Future",

}

Lahtinen, J, Valkonen, J, Björkman, K, Frits, J & Niemelä, I 2010, Model Checking Methodology for Supporting Safety Critical Software Development and Verification. julkaisussa BJM Ale, IA Papazoglou & E Zio (toim), Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . Sivut 2056-2063.

Model Checking Methodology for Supporting Safety Critical Software Development and Verification. / Lahtinen, Jussi; Valkonen, Janne; Björkman, Kim; Frits, Juho; Niemelä, Ilkka.

Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . toim. / Ben J.M. Ale; Ioannis A. Papazoglou; Enrico Zio. 2010. s. 2056-2063.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific

TY - GEN

T1 - Model Checking Methodology for Supporting Safety Critical Software Development and Verification

AU - Lahtinen, Jussi

AU - Valkonen, Janne

AU - Björkman, Kim

AU - Frits, Juho

AU - Niemelä, Ilkka

N1 - VK: modsafe

PY - 2010

Y1 - 2010

M3 - Conference contribution

SN - 978-041560427-7

SP - 2056

EP - 2063

BT - Reliability, Risk and Safety: Back to the Future

A2 - Ale, Ben J.M.

A2 - Papazoglou, Ioannis A.

A2 - Zio, Enrico

ER -

Lahtinen J, Valkonen J, Björkman K, Frits J, Niemelä I. Model Checking Methodology for Supporting Safety Critical Software Development and Verification. julkaisussa Ale BJM, Papazoglou IA, Zio E, toimittajat, Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . 2010. s. 2056-2063