Model Checking Methodology for Large Systems, Faults and Asynchronous Behaviour - {SARANA} 2011 Work Report

Research output: Working paperProfessional


  • Jussi Lahtinen
  • Tuomas Launiainen
  • Keijo Heljanko
  • Jonathan Ropponen

Research units


Original languageEnglish
Place of PublicationEspoo, Finland
Publication statusPublished - 2012
MoE publication typeD4 Published development or research report or study

Publication series

NameVTT Technology
PublisherVTT Technical Research Centre of Finland
ISSN (Print)2242-1211
ISSN (Electronic)2242-122X

ID: 486079