Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Repair of boolean programs with an application to C

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalspracheenglisch
TitelComputer Aided Verification
Herausgeber (Verlag)Springer
Seiten358-371
Band4144
PublikationsstatusVeröffentlicht - 2006
VeranstaltungInternational Conference on Computer Aided Verification - Seattle, Washington, USA / Vereinigte Staaten
Dauer: 15 Aug. 2006 → 20 Aug. 2006

Publikationsreihe

NameLNCS
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Computer Aided Verification
Land/GebietUSA / Vereinigte Staaten
OrtSeattle, Washington
Zeitraum15/08/06 → 20/08/06

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • 1 Abgeschlossen

  • EU - Prosyd - Property-Based System Design

    Jobstmann, B. (Teilnehmer / Mitarbeiter), Bloem, R. (Projektleiter), Pill, I. H. (Teilnehmer / Mitarbeiter), Griesmayer, A. (Teilnehmer / Mitarbeiter) & Staber, S. S. (Teilnehmer / Mitarbeiter)

    1/01/04 → 31/12/06

    Projekt: Forschungsprojekt

Dieses zitieren