Rat: A tool for formal analysis of requirements

Ingo Hans Pill, Roderick Paul Bloem, Alessandro Cimatti, Marco Roveri, Simone Semprini, Andrei Tchaltsev

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

Originalspracheenglisch
TitelEuropean Conference on Artificial Intelligence
Herausgeber (Verlag).
Seiten?-?
PublikationsstatusVeröffentlicht - 2006
Veranstaltung17th European Conference on Artificial Intelligence: ECAI 2006 - Riva del Garda, Italien
Dauer: 29 Aug. 2006 → 1 Sept. 2006

Konferenz

Konferenz17th European Conference on Artificial Intelligence
KurztitelECAI
Land/GebietItalien
OrtRiva del Garda
Zeitraum29/08/06 → 1/09/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical
  • 1 Abgeschlossen

  • EU - Prosyd - Property-Based System Design

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

    1/01/04 → 31/12/06

    Projekt: Foschungsprojekt

Dieses zitieren