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

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Fingerprint

Dive into the research topics of 'RATSY - A new Requirements Analysis Tool with Synthesis'. Together they form a unique fingerprint.

Computer Science