Design with Asynchronously Communicating Components

Juha Plosila, Kaisa Sere, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationProceedings of FMCO 2002: First International Symposium on Formal Methods for Components and Objects
Publication statusPublished - 2002
MoE publication typeA4 Article in a conference publication

Cite this