Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems

Antti Pakonen^*
, Igor Buzhinsky
, Kim Björkman

^*Corresponding author for this work

Research output: Contribution to journal › Article › Scientific › peer-review

28 Citations (Scopus)

146 Downloads (Pure)

1 results

Finished

SEARCH: Safety and security assessment of overall I&C architectures
Pakonen, A. (Manager), Alanen, J. (Participant), Björkman, K. (Participant), Linnosmaa, J. (Participant), Papakonstantinou, N. (Participant), Malm, T. (Participant), Helminen, A. (Participant), Biswas, P. (Participant), Pärssinen, J. (Participant), Raitio, P. (Participant), Vyatkin, V. (Participant), Ovsiannikova, P. (Participant) & Buzhinsky, I. (Participant)
1/02/19 → 31/01/23
Project: Research