Original language | English |
---|---|
Title of host publication | Proceedings of FMCO 2002: First International Symposium on Formal Methods for Components and Objects |
Publisher | Springer-Verlag |
Volume | 2852 |
Publication status | Published - 2002 |
MoE publication type | A4 Article in a conference publication |
Design with Asynchronously Communicating Components
Juha Plosila, Kaisa Sere, Marina Walden
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review