Model-Based Analysis of a Stepwise Shutdown Logic

Kim Björkman, Juho Frits, Janne Valkonen, Keijo Heljanko, Ilkka Niemelä

Research output: Book/ReportCommissioned report

Original languageEnglish
ISBN (Electronic)978-951-38-7176-5
Publication statusPublished - 2009
Externally publishedYes
MoE publication typeD4 Published development or research report or study

Fields of Science

  • automation system
  • failure
  • I&C
  • model checking
  • NuSMV
  • safety case
  • safety evaluation

Cite this