Kim Björkman

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 1

Top Topics

Software Intensive Systems

Formal Specification

Temporal Properties

Top Venues

Reliab. Eng. Syst. Saf.

Publications

Antti Pakonen, Igor Buzhinsky, Kim Björkman
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems. Reliab. Eng. Syst. Saf. 205 (2021)
Kim Björkman
Solving dynamic flowgraph methodology models using binary decision diagrams. Reliab. Eng. Syst. Saf. 111 (2013)
Jussi Lahtinen, J. Valkonen, Kim Björkman, J. Frits, Ilkka Niemelä, Keijo Heljanko
Model checking of safety-critical software in the nuclear engineering domain. Reliab. Eng. Syst. Saf. 105 (2012)