登入  |  English
感謝您對「自由軟體鑄造場」的支持與愛護，十多年來「自由軟體鑄造場」受中央研究院支持，並在資訊科學研究所以及資訊科技創新研究中心執行，現已完成階段性的任務。 原網站預計持續維運至 2021年底，網站內容基本上不會再更動。本網站由 Denny Huang 備份封存。
也紀念我們永遠的朋友 李士傑先生（Shih-Chieh Ilya Li）。

什麼是資源表列?

catalog-iconOpenFoundry 蒐集與自由軟體相關的連結資訊並將其分類，供您依此資源目錄架構，循序深入自由軟體豐富的應用世界。若此分類下發現有任何問題及建議，非常歡迎您協助我們改進，請寄至contact@openfoundry.org。

Model-Driven Hybrid and Embedded Software for Automotive Applications

Rating
0
Website
www.cse.wustl.edu/~cdgill/RTAS04/modes_ucb.pdf
Votes
0
Rate this listing
0 vote

此篇論文再探討複雜大規模嵌入式系統(complex large scale embedded systems)建模的顯著結果、構成的結果、分析、模型驗證(model checking)與安全特質(safety properties)驗證，另外還有一個為恆速操縱器而設計的汽車模型函式庫 。

適用平台：不適用;原始碼授權類型：不適用

資料來源：https://www.cse.wustl.edu/~cdgill/RTAS04/modes_ucb.pdf


↑ Top
Reviews (0)

Be the first to review this listing!