Verification of Fault-Tolerant System Architectures Using Model Checking

Jussi Lahtinen

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Verification of Fault-Tolerant System Architectures Using Model Checking'. Together they form a unique fingerprint.

Keyphrases

INIS

Computer Science

Engineering