Rat: A tool for formal analysis of requirements

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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original languageEnglish
Title of host publicationEuropean Conference on Artificial Intelligence
Publisher.
Pages?-?
Publication statusPublished - 2006
EventEuropean Conference on Artificial Intelligence: ECAI 2006 - Riva del Garda, Italy
Duration: 29 Aug 2006 → 1 Sept 2006

Conference

ConferenceEuropean Conference on Artificial Intelligence
Abbreviated titleECAI
Country/TerritoryItaly
CityRiva del Garda
Period29/08/06 → 1/09/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

  • EU - Prosyd - Property-Based System Design

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

    1/01/04 → 31/12/06

    Project: Research project

Cite this