If you made any changes in Pure these will be visible here soon.

Research Output 2006 2019

Filter
Article
2019

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions

Buzhinsky, I. & Pakonen, A., 18 Nov 2019, In : IEEE Access. 7, p. 162139-162156 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
Model checking
Nuclear power plants
Hardware
Fault tolerance
Failure modes
2015

Mallintarkastus paikkaa testauksen jättämiä aukkoja

Pakonen, A., Valkonen, J., Matinaho, S. & Honkoila, K., 2015, In : Automaatioväylä. 31, 2, p. 23-25

Research output: Contribution to journalArticleProfessional

Open Access
2010

Mallintarkistus löytää piilevät automaation suunnitteluvirheet

Pakonen, A. & Valkonen, J., 2010, In : Automaatioväylä. 7, p. 16-17

Research output: Contribution to journalArticleProfessional