2005 | ||
---|---|---|
5 | EE | Yuh-Jzer Joung, Geng-Dian Hwang: A Simple and Fast Algorithm for Bluetooth Network Formation. NETWORKING 2005: 1413-1417 |
2003 | ||
4 | EE | Farn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-Time Systems. CIAA 2003: 176-187 |
3 | EE | Farn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE 2003: 160-176 |
2 | EE | Farn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-time Systems CoRR cs.SC/0304003: (2003) |
1 | EE | Farn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems CoRR cs.SE/0303027: (2003) |
1 | Yuh-Jzer Joung | [5] |
2 | Farn Wang | [1] [2] [3] [4] |
3 | Fang Yu | [1] [2] [3] [4] |