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
Formal Methods for Design & Verification
Jacobs, Swen
(Co-Investigator (CoI))
Bloem, Roderick
(Co-Investigator (CoI))
Könighofer, Robert
(Co-Investigator (CoI))
Könighofer, Bettina
(Co-Investigator (CoI))
Khalimov, Ayrat
(Co-Investigator (CoI))
Hofferek, Georg
(Co-Investigator (CoI))
Braud-Santoni, Nicolas
(Co-Investigator (CoI))
Institute of Applied Information Processing and Communications (7050)
Project
:
Research area
Overview
Fingerprint
Publications
(58)
Research output
Research output per year
2007
2010
2011
2012
2014
2015
2015
34
Conference paper
15
Other report
3
Article
2
Diploma Thesis
4
More
2
Doctoral Thesis
1
(Old data) Lecture or Presentation
1
Poster
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Diploma Thesis
Search results
2009
Debugging Formal Specifications with Simplified Counterstrategies
Könighofer, R.
,
2009
Research output
:
Thesis
›
Diploma Thesis
Open Access
File
2007
Open Implication
Greimel, K.
,
2007
Research output
:
Thesis
›
Diploma Thesis
Open Access
File