Travelled to:1 × France
Collaborated with:L.Wang 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: Thomas Huining Feng
DBLP: Feng:Thomas_Huining
Contributed to:
2007Wrote 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.