基本資料
系統識別號: |
C10002403 |
相關專案: |
無 |
計畫名稱: |
第二十三屆電腦輔助驗證暨第十八屆軟體模型檢驗研討會# |
報告名稱: |
SPIN/CAV出國會議報告 |
電子全文檔: |
C10002403_34166.pdf
|
附件檔: |
|
報告日期: |
100/08/29 |
報告書頁數: |
14 |
計畫主辦機關資訊
姓名 |
服務機關 |
服務單位 |
職稱 |
官職等 |
郁方 |
國立政治大學 |
|
助理教授 |
教師 |
報告內容摘要
This report summarizes my presentation and selected invited talks, tutorials, regular
paper presentations in the 18th SPIN Software Model Checking workshop and the 23rd International Conference on Computer Aided Verification. 1 conclude with my
future research directions inspired by the talks and discussions among attendees.
其他資料
前往地區: |
美國; |
參訪機關: |
無 |
出國類別: |
其他 |
關鍵詞: |
SPIN |
備註: |
|
分類瀏覽