Hardware failure modelling methodology for model checking

Jussi Lahtinen

Research output: Book/ReportReport

Original languageEnglish
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Number of pages37
Publication statusPublished - 2014
MoE publication typeD4 Published development or research report or study

Publication series

SeriesVTT Research Report
VolumeVTT-R-00213-14

Keywords

  • Model checking
  • nuclear power plants
  • architecture
  • hardware failure

Cite this

Lahtinen, J. (2014). Hardware failure modelling methodology for model checking. Espoo: VTT Technical Research Centre of Finland. VTT Research Report, Vol.. VTT-R-00213-14
Lahtinen, Jussi. / Hardware failure modelling methodology for model checking. Espoo : VTT Technical Research Centre of Finland, 2014. 37 p. (VTT Research Report, Vol. VTT-R-00213-14).
@book{eeb3aa7ad52c49b4b9af25494a906fa1,
title = "Hardware failure modelling methodology for model checking",
keywords = "Model checking, nuclear power plants, architecture, hardware failure",
author = "Jussi Lahtinen",
note = "Project code: 77379 / SARANA",
year = "2014",
language = "English",
series = "VTT Research Report",
publisher = "VTT Technical Research Centre of Finland",
address = "Finland",

}

Lahtinen, J 2014, Hardware failure modelling methodology for model checking. VTT Research Report, vol. VTT-R-00213-14, VTT Technical Research Centre of Finland, Espoo.

Hardware failure modelling methodology for model checking. / Lahtinen, Jussi.

Espoo : VTT Technical Research Centre of Finland, 2014. 37 p. (VTT Research Report, Vol. VTT-R-00213-14).

Research output: Book/ReportReport

TY - BOOK

T1 - Hardware failure modelling methodology for model checking

AU - Lahtinen, Jussi

N1 - Project code: 77379 / SARANA

PY - 2014

Y1 - 2014

KW - Model checking

KW - nuclear power plants

KW - architecture

KW - hardware failure

M3 - Report

T3 - VTT Research Report

BT - Hardware failure modelling methodology for model checking

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

Lahtinen J. Hardware failure modelling methodology for model checking. Espoo: VTT Technical Research Centre of Finland, 2014. 37 p. (VTT Research Report, Vol. VTT-R-00213-14).