瀏覽 的方式: 關鍵字 safecharts
顯示 1 到 1 筆資料,總共 1 筆
公開日期 | 標題 | 作者 |
---|---|---|
1-五月-2007 | Model checking safety-critical systems using safecharts | Hsiung, Pao-Ann; Chen, Yean-Ru; Lin, Yen-Hung; 交大名義發表; National Chiao Tung University |
公開日期 | 標題 | 作者 |
---|---|---|
1-五月-2007 | Model checking safety-critical systems using safecharts | Hsiung, Pao-Ann; Chen, Yean-Ru; Lin, Yen-Hung; 交大名義發表; National Chiao Tung University |