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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

1 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey
Redaktörer	B Aichernig, F Boer, M Bonsangue
Förlag	Springer
Sidor	–
ISBN (elektroniskt)	978-3-642-25271-6
ISBN (tryckt)	978-3-642-25270-9
DOI	https://doi.org/10.1007/978-3-642-25271-6_6
Status	Publicerad - 2011
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	FMCO: International Symposium on Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria Varaktighet: 29 nov. 2010 → 1 dec. 2010

Konferens

Konferens	FMCO: International Symposium on Formal Methods for Components and Objects
Period	29/11/10 → 01/12/10

Åtkomst av dokument

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

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Ansvarig forskare), 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
Projekt: Finlands Akademi/Övriga Forskningsråd

Citera det här

@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. i B Aichernig, F Boer & M Bonsangue (red), Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey. Springer, s. –, 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. red. / B Aichernig; F Boer; M Bonsangue. Springer, 2011. s. –.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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 - Konferensbidrag

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

Konferens

Åtkomst av dokument

Projekt

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Citera det här