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

Research output: Contribution to journalArticleScientificpeer-review

Researchers

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