Browsing by Author Chen, Yean-Ru
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-May-2007 | Model checking safety-critical systems using safecharts | Hsiung, Pao-Ann; Chen, Yean-Ru; Lin, Yen-Hung; 交大名義發表; National Chiao Tung University |
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-May-2007 | Model checking safety-critical systems using safecharts | Hsiung, Pao-Ann; Chen, Yean-Ru; Lin, Yen-Hung; 交大名義發表; National Chiao Tung University |