Mikko Levanto

Publication Activity (10 Years)

Years Active: 1989-2015
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Timo Koskela, Arto Heikkinen, Erkki Harjula, Mikko Levanto, Mika Ylianttila
RADE: Resource-aware distributed browser-to-browser 3D graphics delivery in the web. WiMob (2015)
Mikko Levanto
A scheduling problem language. RTS (1995)
Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. FME (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)