Travelled to:
1 × United Kingdom
Collaborated with:
R.Bloem A.Cimatti K.Greimel G.Hofferek R.Könighofer M.Roveri V.Schuppan
Talks about:
synthesi (1) analysi (1) requir (1) ratsi (1) tool (1) new (1)
Person: Richard Seeber
DBLP: Seeber:Richard
Contributed to:
Wrote 1 papers:
- CAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis
- RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.