Skip navigation
首頁
查詢/瀏覽
資料類型
瀏覽文件透過:
日期
作者
題名
關鍵字
幫助
我的 DSpace
接受 E-mail 通知
編輯個人資料
逢甲大學校園典藏知識庫
Feng Chia University Institutional Repository
搜尋
搜尋:
整個系統
2. 期刊
ICS國際計算機會議
2002年 ICS 國際計算機會議
for
目前的篩選器:
標題
作者
關鍵字
日期
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
等於
包含
ID
不等於
不包含
非 ID
開始新的搜尋
新增篩選器:
使用篩選器讓結果更精確。
標題
作者
關鍵字
日期
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
等於
包含
ID
不等於
不包含
非 ID
第 1 到 2 筆結果,共 2 筆。
上一頁
1
下一頁
符合的文件:
題名
作者
日期
ESSP: An Embedded Software Synthesis and Prototyping Methodology
Lee, Trong-Yen
;
Hsiung, Pao-Ann
;
Wu, I-Mu
;
Su, Feng-Shi
2006-10-16T01:22:17Z
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Hsiung, Pao-Ann
;
Cheng, Shu-Yu
2006-10-13T08:13:20Z
探索
作者
1
Cheng, Shu-Yu
1
Lee, Trong-Yen
1
Su, Feng-Shi
1
Wu, I-Mu
關鍵字
1
assume-guarantee reasoning
1
Embedded Software
1
Emulation Platform
1
model-checking
1
modular verification
1
Prototyping
1
Quasi-Static Scheduling
1
real-time embedded systems
1
Software Synthesis
1
state-space reduction techniques
.
下一步 >
日期
2
2006
提供全文
2
true