Projects per year
Original language | Undefined/Unknown |
---|---|
Title of host publication | Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey |
Editors | B Aichernig, F Boer, M Bonsangue |
Publisher | Springer |
Pages | – |
ISBN (Electronic) | 978-3-642-25271-6 |
ISBN (Print) | 978-3-642-25270-9 |
DOIs | |
Publication status | Published - 2011 |
MoE publication type | A4 Article in a conference publication |
Event | FMCO: International Symposium on Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria Duration: 29 Nov 2010 → 1 Dec 2010 |
Conference
Conference | FMCO: International Symposium on Formal Methods for Components and Objects |
---|---|
Period | 29/11/10 → 01/12/10 |
Projects
- 1 Finished
-
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Project: Research Council of Finland/Other Research Councils