Kim Björkman

According to our database, Kim Björkman authored at least 3 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

Antti Pakonen, Igor Buzhinsky, Kim Björkman

Reliab. Eng. Syst. Saf., 2021

2013

Solving dynamic flowgraph methodology models using binary decision diagrams.

Kim Björkman

Reliab. Eng. Syst. Saf., 2013

2012

Model checking of safety-critical software in the nuclear engineering domain.

Jussi Lahtinen, J. Valkonen, Kim Björkman, J. Frits, Ilkka Niemelä, Keijo Heljanko

Reliab. Eng. Syst. Saf., 2012