Hardware failure modelling methodology for model checking

Jussi Lahtinen

Research output: Book/Report › Report

Original language	English
Place of Publication	Espoo
Publisher	VTT Technical Research Centre of Finland
Number of pages	37
Publication status	Published - 2014
MoE publication type	D4 Published development or research report or study

Series	VTT Research Report
Volume	VTT-R-00213-14

Keywords

@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",

}

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 -