Travelled to:1 × Denmark
1 × The Netherlands
Collaborated with:J.Bohn M.Schenke E.Olderog
Talks about:system (3) communic (2) design (2) transform (1) interact (1) stepwis (1) develop (1) concurr (1) automat (1) specif (1)
Person: Stephan Rössig
DBLP: R=ouml=ssig:Stephan
Contributed to:
1995
1991
1993Wrote 4 papers:
- TACAS-1995-BohnR #automation #communication #design #interactive #on the
- On Automatic and Interactive Design of Communication Systems (JB, SR), pp. 216–237.
- VDME-1991-RossigS #communication #development #specification
- Specification and Stepwise Development of Communicating Systems (SR, MS), pp. 149–163.
- TAPSOFT-1993-OlderogR #case study #concurrent #design
- A Case Study in Transformational Design of Concurrent Systems (ERO, SR), pp. 90–104.