Model-Based Analysis Tools for Component Synthesis

Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationFormal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey
EditorsB Aichernig, F Boer, M Bonsangue
PublisherSpringer
Pages
ISBN (Electronic)978-3-642-25271-6
ISBN (Print)978-3-642-25270-9
DOIs
Publication statusPublished - 2011
MoE publication typeA4 Article in a conference publication
EventFMCO: International Symposium on Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria
Duration: 29 Nov 20101 Dec 2010

Conference

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

Cite this