Statistics
Publications
16
Citations
404
H-Index
12
Active since
2002
Tommi Karhela is an author at VTT Technical Research Centre of Finland specializing in systems engineering, engineering, and system simulation.
Publications per year
2002–2023
16
16
A toolset for model checking of PLC software
Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen et al. · 2013 · 27 citations
1–5 of 16