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

Research Output 2006 2019

Filter
Chapter or book article
2017

Integrated safety assessment and justification of nuclear power plant automation (SAUNA)

Pakonen, A., Alanen, J., Björkman, K., Buzhinsky, I., Helminen, A., Hirvonen, A., Holmberg, J-E., Koskinen, H., Laarni, J., Linnosmaa, J., Nevalainen, R., Papakonstantinou, N., Porthin, M., Tommila, T., Tyrväinen, T., Uusitalo, E., Valkonen, J., Varkoi, T. & Vyatkin, V., 2017, SAFIR2018 - The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018: Interim Report. VTT Technical Research Centre of Finland, p. 40-65 (VTT Technology, Vol. 294).

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

Open Access
2013

Error-free software through formal methods

Pakonen, A. & Valkonen, J., 2013, eEngineering 2009-2012: Digitising the product process. Espoo: VTT Technical Research Centre of Finland, p. 37-41 (VTT Research Highlights; No. 8).

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

Open Access