|
П |
Machine and Language Design for Dynamic Microprogramming |
1980 |
Heinanen J., Karjalainen M., Kurki-Suonio R. |
|
|
Univ. of Tampere |
|
27.04.2002 |
|
СТ |
Component and Interface Refinement in Closed-System Specification |
1999 |
Kurki-Suonio R. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Liberating Object-Oriented Modeling from Programming-Level Abstractions |
1998 |
Kurki-Suonio R., Mikkonen T. |
|
|
|
Lecture Notes in Computer Science |
27.02.1998 |
|
СТ |
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem |
1996 |
Kurki-Suonio R. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
|
СТ |
Hybrid Models with Fairness and Distributed Clocks |
1993 |
Kurki-Suonio R. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
|
СТ |
Stepwise Design of Real-Time Systems |
1991 |
Kurki-Suonio R. |
|
|
|
Software Engineering Notes |
03.04.1992 |
