| |
| 2008 | ||
|---|---|---|
| 1 | EE | Yunan Cao, Zili Shao, Meng Wang, Chun Jason Xue, Youdong Chen, Hongxing Wei, Tianmiao Wang: A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems. ICDCS 2008: 269-276 |
| 1 | Yunan Cao | [1] |
| 2 | Zili Shao | [1] |
| 3 | Meng Wang | [1] |
| 4 | Tianmiao Wang | [1] |
| 5 | Hongxing Wei | [1] |
| 6 | Chun Jason Xue (Chun Xue) | [1] |