J. Valkonen

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Safety Analysis

Automated Verification

Reactive Systems

Temporal Properties

Top Venues

Reliab. Eng. Syst. Saf.

Publications

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)