2
Publications
42
Citations
2
H-Index
2013
Active since
Affiliations
Teemu Mätäsniemi is an author at VTT Technical Research Centre of Finland.
Publications per year
2013–2022
2
2
A toolset for model checking of PLC software
Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen et al. · 2013 · 27 citations
Rows per page
1–2 of 2