Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

Research output: Book/Report › Anthology

Fields of Expertise

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H. (Attendee / Assistant), Krenn, W. K. (Attendee / Assistant) & Aichernig, B. (Project manager)
1/01/08 → 31/12/10
Project: Research project
Formal Methods
Lorber, F. L. (Attendee), Lucas, P. (Attendee), Aichernig, B. (Contact person) & Jöbstl, E. (Attendee)
1/01/95 → 31/12/24
Project: Research area

@book{308a2e5d1bb146bfa2ecbf253dbb8734,

title = "Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010",

editor = "Bernhard Aichernig and \{de Boer\}, \{Frank S.\} and Bonsangue, \{Marcello M.\}",

note = "Revised Papers",

year = "2012",

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

language = "English",

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

publisher = "Springer Verlag",

address = "Germany",

}

TY - BOOK

T1 - Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

A2 - Aichernig, Bernhard

A2 - de Boer, Frank S.

A2 - Bonsangue, Marcello M.

N1 - Revised Papers

PY - 2012

Y1 - 2012

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

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

M3 - Anthology

SN - 978-3-642-25270-9

BT - Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

PB - Springer Verlag

ER -