Design with Asynchronously Communicating Components

Juha Plosila, Kaisa Sere, Marina Walden

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

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

Cite this

@inproceedings{de39482201f94ac287967c002825e987,

title = "Design with Asynchronously Communicating Components",

author = "Juha Plosila and Kaisa Sere and Marina Walden",

year = "2002",

language = "English",

volume = "2852",

booktitle = "Proceedings of FMCO 2002: First International Symposium on Formal Methods for Components and Objects",

publisher = "Springer-Verlag",

}