Model-Based Analysis Tools for Component Synthesis

Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
OtsikkoFormal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey
ToimittajatB Aichernig, F Boer, M Bonsangue
KustantajaSpringer
Sivut
ISBN (elektroninen)978-3-642-25271-6
ISBN (painettu)978-3-642-25270-9
DOI - pysyväislinkit
TilaJulkaistu - 2011
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaFMCO: International Symposium on Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria
Kesto: 29 marraskuuta 20101 joulukuuta 2010

Konferenssi

KonferenssiFMCO: International Symposium on Formal Methods for Components and Objects
Ajanjakso29/11/1001/12/10

Viittausmuodot