Model-Based Analysis Tools for Component Synthesis

Luigia Petre; Kaisa Sere; Leonidas Tsiopoulos

doi:10.1007/978-3-642-25271-6_6

Model-Based Analysis Tools for Component Synthesis

Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos

Information Technology

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

1 Citation (Scopus)

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	https://doi.org/10.1007/978-3-642-25271-6_6
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

Access to Document

10.1007/978-3-642-25271-6_6

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

Cite this

@inproceedings{95408e1be6bf4645821d58dd78faed5d,

title = "Model-Based Analysis Tools for Component Synthesis",

author = "Luigia Petre and Kaisa Sere and Leonidas Tsiopoulos",

year = "2011",

doi = "10.1007/978-3-642-25271-6_6",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-642-25270-9",

pages = "–",

editor = "B Aichernig and F Boer and M Bonsangue",

booktitle = "Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey",

publisher = "Springer",

note = "FMCO: International Symposium on Formal Methods for Components and Objects ; Conference date: 29-11-2010 Through 01-12-2010",

}

Petre, L, Sere, K & Tsiopoulos, L 2011, Model-Based Analysis Tools for Component Synthesis. in B Aichernig, F Boer & M Bonsangue (eds), Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey. Springer, pp. –, FMCO: International Symposium on Formal Methods for Components and Objects, 29/11/10. https://doi.org/10.1007/978-3-642-25271-6_6

Model-Based Analysis Tools for Component Synthesis. / Petre, Luigia; Sere, Kaisa; Tsiopoulos, Leonidas.
Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey. ed. / B Aichernig; F Boer; M Bonsangue. Springer, 2011. p. –.

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

TY - GEN

T1 - Model-Based Analysis Tools for Component Synthesis

AU - Petre, Luigia

AU - Sere, Kaisa

AU - Tsiopoulos, Leonidas

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-25271-6_6

DO - 10.1007/978-3-642-25271-6_6

M3 - Publicerad konferensartikel

SN - 978-3-642-25270-9

SP - –

BT - Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey

A2 - Aichernig, B

A2 - Boer, F

A2 - Bonsangue, M

PB - Springer

T2 - FMCO: International Symposium on Formal Methods for Components and Objects

Y2 - 29 November 2010 through 1 December 2010

ER -

Model-Based Analysis Tools for Component Synthesis

Conference

Access to Document

Projects

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Cite this