Model checking methodology for large systems, faults and asynchronous behaviour: SARANA 2011 work report

Jussi Lahtinen, Tuomas Launiainen, Keijo Heljanko, Jonatan & Ropponen

Research output: Book/ReportReport

Fingerprint Dive into the research topics of 'Model checking methodology for large systems, faults and asynchronous behaviour: SARANA 2011 work report'. Together they form a unique fingerprint.

Engineering & Materials Science