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