| Original language | English |
|---|---|
| Title of host publication | Proceedings |
| Subtitle of host publication | SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR |
| Publisher | Springer |
| Pages | 195-206 |
| ISBN (Electronic) | 978-3-319-10557-4 |
| ISBN (Print) | 978-3-319-10556-7 |
| DOIs | |
| Publication status | Published - 2014 |
| MoE publication type | A4 Article in a conference publication |
Publication series
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 8696 |
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
@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 proceeding › Conference article in proceedings › Scientific › peer-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