Travelled to:
1 × France
Collaborated with:
T.H.Feng W.Zheng S.Kanajan S.A.Seshia
Talks about:
interact (1) present (1) generat (1) automat (1) system (1) model (1) black (1) time (1) real (1) box (1)
Person: Lynn Wang
DBLP: Wang:Lynn
Contributed to:
Wrote 1 papers:
- DATE-2007-FengWZKS #automation #black box #generative #interactive #realtime
- Interactive presentation: Automatic model generation for black box real-time systems (THF, LW, WZ, SK, SAS), pp. 930–935.