Model checking for licensing support in the Finnish nuclear industry

Antti Pakonen, Janne Valkonen, Sami Matinaho, Markus Hartikainen

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

    Fingerprint

    Dive into the research topics of 'Model checking for licensing support in the Finnish nuclear industry'. Together they form a unique fingerprint.

    Engineering & Materials Science