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

Jussi Lahtinen, Tuomas Launiainen, Keijo Heljanko, Jonathan Ropponen

Research output: Book/Report › Commissioned report

Original language	English

Publication status	Published - 2012
Externally published	Yes
MoE publication type	D4 Published development or research report or study

Cite this

TY - BOOK

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

AU - Lahtinen, Jussi

AU - Launiainen, Tuomas

AU - Heljanko, Keijo

AU - Ropponen, Jonathan

PY - 2012

Y1 - 2012

M3 - Commissioned report

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

ER -