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

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

Institute of Software Technology (7160)

Research output: Book/Report › Anthology

1 Finished
1 Active

2 results

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