Model checking of I&C software in the Loviisa NPP automation renewal project

Antti Pakonen, Janne Valkonen, Sami Matinaho, Markus Hartikainen

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

    Fingerprint

    Dive into the research topics of 'Model checking of I&C software in the Loviisa NPP automation renewal project'. Together they form a unique fingerprint.

    Engineering & Materials Science