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

Jussi Lahtinen, Tuomas Launiainen, Keijo Heljanko, Jonathan Ropponen

Forskningsoutput: Bok/rapport › Beställd rapport

Originalspråk	engelska

Status	Publicerad - 2012
Externt publicerad	Ja
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Citera det här

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 -