Jussi Lahtinen

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

A toolset for model checking of PLC software

Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen et al. · 2013 · 27 citations

Supervised model-based visualization of high-dimensional data

Petri Kontkanen, Jussi Lahtinen, Petri Myllymäki et al. · Intelligent Data Analysis · 2000 · 26 citations

Durable and sustainable smart tags for identity management and condition monitoring: Case study for reusable packaging and recyclable data carriers

Liisa Hakola, Elina Hakola, Sarianna Palola et al. · Packaging Technology and Science · 2023 · 19 citations · Full text

Engineering, Smart City, Wearable Technology +17

Poly(butylene succinate-co-adipate)/poly(hydroxybutyrate) blend films and their thermal, mechanical and gas barrier properties

Enni Luoma, Teijo Rokkonen, Amélie Tribot et al. · Polymers from Renewable Resources · 2022 · 16 citations

Bioplastics, Engineering, Biopolymer Production +25