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. (Principal Investigator), Sere, K. (Co-Principal Investigator), Plosila, J. (Co-Principal Investigator), Sandvik, P. (Co-Investigator), Olszewska, M. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Dahlvik, M. (Co-Investigator), Wiik, J. (Co-Investigator), Laibinis, L. (Co-Investigator), Neovius, M. (Co-Investigator) & Lumme, K. (Co-Investigator)
01/01/08 → 31/12/11
Project: Research Council of Finland/Other Research Councils