Model Checking of Safety-Critical Software in the Nuclear Engineering Domain

Research output: Contribution to journalArticle

Researchers

  • Jussi Lahtinen
  • Janne Valkonen
  • Kim Björkman
  • Juho Frits
  • Ilkka Niemelä

  • Keijo Heljanko

Research units

  • Aalto University
  • VTT Technical Research Centre of Finland Ltd.

Details

Original languageEnglish
Pages (from-to)104-113
JournalReliability Engineering and System Safety
Volume105
Publication statusPublished - 2012
MoE publication typeA1 Journal article-refereed

ID: 840444