Hang Su

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Graham Hemingway, Hang Su, Kai Chen, T. John Koo
A Semantic Anchoring Infrastructure for the Design of Embedded Systems. COMPSAC (1) (2007)
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. ATVA (2006)
Abhishek Dubey, Xianbin Wu, Hang Su, T. John Koo
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach. ATVA (2005)