Raino Lintulampi

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

Petri Pulli, Marko Heikkinen, Raino Lintulampi
Graphical Animation as a Form of Prototyping Real-Time Software Systems. Real Time Syst. 5 (2-3) (1993)
René Elmstrøm, Raino Lintulampi, Mauro Pezzè
Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. Real Time Syst. 5 (2-3) (1993)
Veikko Seppänen, Marko Heikkinen, Raino Lintulampi
SPADE - Towards Case Tools That Can Guide Design. CAiSE (1991)
Raino Lintulampi, Petri Pulli
Graphics based prototyping of real-time systems. RSP (1990)