Rein Paluoja

Publication Activity (10 Years)

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

Publications

Rein Paluoja
A Q-model approach to decomposition and aggregation of specifications of real-time systems. RTS (1995)
Tarmo Kaldma, Leo Motus, Toomas Tommingas, Rein Paluoja, Jaanus Tekko
Animation in CONRAD: informal analysis of timing properties. RTS (1994)