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


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

Cite this

Lahtinen, J. (2014). Hardware failure modelling methodology for model checking. VTT Technical Research Centre of Finland. VTT Research Report, Vol.. VTT-R-00213-14 http://www.vtt.fi/inf/julkaisut/muut/2014/VTT-R-00213-14.pdf