Repair of boolean programs using games

Andreas Griesmayer, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelGames in Design and Verification
Herausgeber (Verlag).
Seiten?-?
PublikationsstatusVeröffentlicht - 2005
VeranstaltungGames in Design and Verification - Edinburgh, Scotland, Großbritannien / Vereinigtes Königreich
Dauer: 12 Juli 2005 → …

Konferenz

KonferenzGames in Design and Verification
Land/GebietGroßbritannien / Vereinigtes Königreich
OrtEdinburgh, Scotland
Zeitraum12/07/05 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • EU - Prosyd - Property-Based System Design

    Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

    1/01/0431/12/06

    Projekt: Forschungsprojekt

Dieses zitieren