Model Checking Large Nuclear Power Plant Safety System Designs: Dissertation

Jussi Lahtinen

VTT Technical Research Centre of Finland

VTT (former employee or external)

Research output: Thesis › Dissertation › Collection of Articles

1 results

Filter

Finished

SAFIR 2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015 - 2018
1/01/15 → 31/03/19
Project: Research