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

Jussi Lahtinen, Tuomas Launiainen, Keijo Heljanko, Jonathan Ropponen

Tutkimustuotos: Kirja/raportti › Tutkimusraportti

Alkuperäiskieli	englanti

Tila	Julkaistu - 2012
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Siteeraa tätä

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 -