Skip to main navigation
Skip to search
Skip to main content
Graz University of Technology Home
English
Deutsch
Home
Persons
Publications
Organisations
Projects
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, Harald
(Co-Investigator (CoI))
Krenn, Willibald Karl
(Co-Investigator (CoI))
Aichernig, Bernhard
(Principal Investigator (PI))
Institute of Software Technology (7160)
Project
:
Research project
Overview
Fingerprint
Publications
(15)
Research output
Research output per year
2008
2008
2009
2010
2011
2015
2015
13
Conference paper
1
Anthology
1
Article
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Anthology
Search results
2012
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Aichernig, B. (ed.)
,
de Boer, F. S. (ed.)
&
Bonsangue, M. M. (ed.)
,
2012
,
Springer Verlag
.
Research output
:
Book/Report
›
Anthology