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 proceedingConference contribution

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

Conference

ConferenceEuropean Conference on Artificial Intelligence
Abbreviated titleECAI
CountryItaly
CityRiva del Garda
Period29/08/061/09/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this