Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Technische Universität Graz Home
English
Deutsch
Home
Personen
Veröffentlichungen
Organisationen
Projekte
Aktivitäten
Preise
Presseberichte
Nach Expertise, Namen oder Zugehörigkeit suchen
Formal Methods for Design & Verification
Jacobs, Swen
(Teilnehmer (Co-Investigator))
Bloem, Roderick
(Teilnehmer (Co-Investigator))
Könighofer, Robert
(Teilnehmer (Co-Investigator))
Könighofer, Bettina
(Teilnehmer (Co-Investigator))
Khalimov, Ayrat
(Teilnehmer (Co-Investigator))
Hofferek, Georg
(Teilnehmer (Co-Investigator))
Braud-Santoni, Nicolas
(Teilnehmer (Co-Investigator))
Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)
Projekt
:
Arbeitsgebiet
Übersicht
Fingerprint
Veröffentlichungen
(58)
Publikationen
Publikationen pro Jahr
2007
2010
2011
2012
2014
2015
2015
34
Beitrag in einem Konferenzband
15
Sonstiger Bericht
3
Artikel
2
Diplomarbeit
4
Mehr
2
Dissertation
1
(Altdaten) Vortrag oder Präsentation
1
Poster
Publikationen pro Jahr
Publikationen pro Jahr
2 Ergebnisse
Erscheinungsjahr, Titel
(absteigend)
Erscheinungsjahr, Titel
(aufsteigend)
Titel
Typ
Filter
Diplomarbeit
Suchergebnisse
2009
Debugging Formal Specifications with Simplified Counterstrategies
Könighofer, R.
,
2009
Publikation
:
Studienabschlussarbeit
›
Diplomarbeit
Open Access
Datei
2007
Open Implication
Greimel, K.
,
2007
Publikation
:
Studienabschlussarbeit
›
Diplomarbeit
Open Access
Datei