Jyrki Okkonen

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

Publications

Pertti Huuskonen, Kari Kaarela, Jyrki Okkonen, Anne Väisänen
Explaining Control Logic to Process Operators. IEA/AIE (1995)
Tapio Heikkilä, Pentti Vähä, Jyrki Okkonen
A skilled and intelligent paper roll manipulator. IROS (1993)
Ari Okkonen, Mikko Levanto, Jyrki Okkonen, Antti Auer, Jarmo Kalaoja, Heikki Päivike
ReaGOS - An Application Specific R/T-OS. RTS (1993)
Antti Auer, Mikko Levanto, Ari Okkonen, Jyrki Okkonen
Solution in software crisis. Microprocessing and Microprogramming 30 (1-5) (1990)
Ari Okkonen, Antti Auer, Mikko Levanto, Jyrki Okkonen, Jarmo Kalaoja
Sokrates-SA - A formal method for specifying real-time systems. Microprocessing and Microprogramming 27 (1-5) (1989)