RAT: A Tool for the Formal Analysis of Requirements

Roderick Paul Bloem, Roberto Cavada, Ingo Hans Pill, Marco Roveri, Andrei Tchaltsev

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

Originalspracheenglisch
Titel19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
ErscheinungsortBerlin / Heidelberg
Herausgeber (Verlag)Springer
Seiten263-267
Band4590
ISBN (Print)978-3-540-73367-6
DOIs
PublikationsstatusVeröffentlicht - 2007
VeranstaltungInternational Conference on Computer Aided Verification - Berlin, Deutschland
Dauer: 3 Juli 20077 Juli 2007

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Computer Aided Verification
Land/GebietDeutschland
OrtBerlin
Zeitraum3/07/077/07/07

Dieses zitieren