RATSY - A new Requirements Analysis Tool with Synthesis

Roderick Paul Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber

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

Fingerprint

Untersuchen Sie die Forschungsthemen von „RATSY - A new Requirements Analysis Tool with Synthesis“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science