Concepedia

Juho Frits

JF

2

Publications

77

Citations

2

H-Index

2009

Active since

Affiliations

Aalto University(Current)

VTT Technical Research Centre of Finland

Juho Frits is an author at Aalto University specializing in formal methods, verification, and systems engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringAutomationSafety ScienceProcess ControlSoftware Design

Publications per year

2009–2012

2

Publications

2

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

Jussi Lahtinen, Janne Valkonen, Kim Björkman et al. · Reliability Engineering & System Safety · 2012 · 65 citations

Safety Engineering, Criticality Safety, Safety-critical System +13

Verification of Safety Logic Designs by Model Checking

Kim Björkman, Juho Frits, Janne Valkonen et al. · 2009 · 12 citations

Engineering, Verification, Safety Science +17

Rows per page

1–2 of 2