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

Bernhard Aichernig (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)

Research output: Book/Report › Anthology

Fields of Expertise

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H. (Co-Investigator (CoI)), Krenn, W. K. (Co-Investigator (CoI)) & Aichernig, B. (Principal Investigator (PI))
1/01/08 → 31/12/10
Project: Research project
Formal Methods
Lucas, P. (Co-Investigator (CoI)), Lorber, F. L. (Co-Investigator (CoI)), Jöbstl, E. (Co-Investigator (CoI)) & Aichernig, B. (Co-Investigator (CoI))
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 -