Model-Based Analysis Tools for Component Synthesis

Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

1 Citeringar (Scopus)
OriginalspråkOdefinierat/okänt
Titel på gästpublikationFormal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey
RedaktörerB Aichernig, F Boer, M Bonsangue
FörlagSpringer
Sidor
ISBN (elektroniskt)978-3-642-25271-6
ISBN (tryckt)978-3-642-25270-9
DOI
StatusPublicerad - 2011
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangFMCO: International Symposium on Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria
Varaktighet: 29 nov 20101 dec 2010

Konferens

KonferensFMCO: International Symposium on Formal Methods for Components and Objects
Period29/11/1001/12/10

Citera det här