Projekteja vuodessa
Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey |
Toimittajat | B Aichernig, F Boer, M Bonsangue |
Kustantaja | Springer |
Sivut | – |
ISBN (elektroninen) | 978-3-642-25271-6 |
ISBN (painettu) | 978-3-642-25270-9 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2011 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisuussa |
Tapahtuma | FMCO: International Symposium on Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria Kesto: 29 marrask. 2010 → 1 jouluk. 2010 |
Konferenssi
Konferenssi | FMCO: International Symposium on Formal Methods for Components and Objects |
---|---|
Ajanjakso | 29/11/10 → 01/12/10 |
Projektit
- 1 Päättynyt
-
DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Vastuullinen tutkija), Sere, K. (CoPI), Plosila, J. (CoPI), Sandvik, P. (CoI), Olszewska, M. (CoI), Tsiopoulos, L. (CoI), Dahlvik, M. (CoI), Wiik, J. (CoI), Laibinis, L. (CoI), Neovius, M. (CoI) & Lumme, K. (CoI)
01/01/08 → 31/12/11
Projekti: Research Council of Finland/Other Research Councils