Scalable methods of discrete plant model generation for closed-loop model checking

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

VTT Technical Research Centre of Finland

Aalto University

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

28 Downloads (Pure)

1 results

Finished

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