雷欽隆2009-04-272018-07-062009-04-272018-07-061990http://ntur.lib.ntu.edu.tw//handle/246246/154204en-US離散式即時系統之分析與驗證report