瀏覽 的方式： 關鍵字 specification
顯示 1 到 3 筆資料，總共 3 筆
| 題名 | 作者 | 日期 |
|---|---|---|
| Contextual Constraints – Breaking The “To Constrain Or Not To Constrain” Dilemma | Lakshminarayanan, R.; Srikant, Y. N. | 2006-10-27T07:57:54Z |
| Synthesizing Timed Transitions and Timed Places in a Petri Net | Yang, Steve J.; Tsai, Jeffrey T.P.; Juan, Eric Y.T.; Lai, Zheng Hao | 2006-10-24T06:54:32Z |
| Visualization of Well Engineered Logic Specification Programs | 施國琛; 郭經華; 余文祥 | 2007-01-16T06:07:01Z |