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

Research output: Working paperProfessional

Researchers

Research units

Details

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
No.12
ISSN (Print)2242-1211
ISSN (Electronic)2242-122X

ID: 486079