Verification of Fault-Tolerant System Architectures Using Model Checking

Jussi Lahtinen

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings
Subtitle of host publicationSAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR
PublisherSpringer
Pages195-206
ISBN (Electronic)978-3-319-10557-4
ISBN (Print)978-3-319-10556-7
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8696

Keywords

  • Model checking, nuclear power plants, architecture, hardware failure, fault-tolerance

Cite this

Lahtinen, J. (2014). Verification of Fault-Tolerant System Architectures Using Model Checking. In Proceedings: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR (pp. 195-206). Springer. Lecture Notes in Computer Science, Vol.. 8696 https://doi.org/10.1007/978-3-319-10557-4_23
Lahtinen, Jussi. / Verification of Fault-Tolerant System Architectures Using Model Checking. Proceedings: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Springer, 2014. pp. 195-206 (Lecture Notes in Computer Science, Vol. 8696).
@inproceedings{2a56e99dc53e4168b38b1fe9755bd488,
title = "Verification of Fault-Tolerant System Architectures Using Model Checking",
keywords = "Model checking, nuclear power plants, architecture, hardware failure, fault-tolerance",
author = "Jussi Lahtinen",
year = "2014",
doi = "10.1007/978-3-319-10557-4_23",
language = "English",
isbn = "978-3-319-10556-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "195--206",
booktitle = "Proceedings",
address = "Germany",

}

Lahtinen, J 2014, Verification of Fault-Tolerant System Architectures Using Model Checking. in Proceedings: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Springer, Lecture Notes in Computer Science, vol. 8696, pp. 195-206. https://doi.org/10.1007/978-3-319-10557-4_23

Verification of Fault-Tolerant System Architectures Using Model Checking. / Lahtinen, Jussi.

Proceedings: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Springer, 2014. p. 195-206 (Lecture Notes in Computer Science, Vol. 8696).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

TY - GEN

T1 - Verification of Fault-Tolerant System Architectures Using Model Checking

AU - Lahtinen, Jussi

PY - 2014

Y1 - 2014

KW - Model checking, nuclear power plants, architecture, hardware failure, fault-tolerance

U2 - 10.1007/978-3-319-10557-4_23

DO - 10.1007/978-3-319-10557-4_23

M3 - Conference article in proceedings

SN - 978-3-319-10556-7

T3 - Lecture Notes in Computer Science

SP - 195

EP - 206

BT - Proceedings

PB - Springer

ER -

Lahtinen J. Verification of Fault-Tolerant System Architectures Using Model Checking. In Proceedings: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Springer. 2014. p. 195-206. (Lecture Notes in Computer Science, Vol. 8696). https://doi.org/10.1007/978-3-319-10557-4_23