| |
| 1995 | ||
|---|---|---|
| 4 | Kari Systä: Adding user interface to a behavioural specification. EHCI 1995: 227-244 | |
| 1993 | ||
| 3 | Reino Kurki-Suonio, Kari Systä, Jüri Vain: Real-Time Specification and Modeling with Joint Actions. Sci. Comput. Program. 20(1-2): 113-140 (1993) | |
| 1992 | ||
| 2 | Reino Kurki-Suonio, Kari Systä, Jüri Vain: Scheduling in Real-Time Models. FTRTFT 1992: 327-339 | |
| 1990 | ||
| 1 | H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä: Object-Oriented Specification of Reactive Systems. ICSE 1990: 63-71 | |
| 1 | H.-M. Järvinen | [1] |
| 2 | Reino Kurki-Suonio | [1] [2] [3] |
| 3 | Markku Sakkinen | [1] |
| 4 | Jüri Vain | [2] [3] |