Travelled to:
1 × USA
Collaborated with:
M.Broy C.Leuxner W.Sitou B.Spanfelner
Talks about:
behavior (1) system (1) notion (1) formal (1) adapt (1)
Person: Sebastian Winter
DBLP: Winter:Sebastian
Contributed to:
Wrote 1 papers:
- SAC-2009-BroyLSSW #adaptation #behaviour #formal method
- Formalizing the notion of adaptive system behavior (MB, CL, WS, BS, SW), pp. 1029–1033.