感謝您對「自由軟體鑄造場」的支持與愛護，十多年來「自由軟體鑄造場」受中央研究院支持，並在資訊科學研究所以及資訊科技創新研究中心執行，現已完成階段性的任務。 原網站預計持續維運至 2021年底，網站內容基本上不會再更動。本網站由 Denny Huang 備份封存。
也紀念我們永遠的朋友 李士傑先生（Shih-Chieh Ilya Li）。
也紀念我們永遠的朋友 李士傑先生（Shih-Chieh Ilya Li）。
什麼是資源表列?
OpenFoundry 蒐集與自由軟體相關的連結資訊並將其分類，供您依此資源目錄架構，循序深入自由軟體豐富的應用世界。若此分類下發現有任何問題及建議，非常歡迎您協助我們改進，請寄至[email protected]。 Model-Driven Hybrid and Embedded Software for Automotive Applications
Rate this listing
0 vote
此篇論文再探討複雜大規模嵌入式系統(complex large scale embedded systems)建模的顯著結果、構成的結果、分析、模型驗證(model checking)與安全特質(safety properties)驗證，另外還有一個為恆速操縱器而設計的汽車模型函式庫 。
適用平台：不適用;原始碼授權類型：不適用
資料來源：https://www.cse.wustl.edu/~cdgill/RTAS04/modes_ucb.pdf
Reviews (0)
Be the first to review this listing!
自由軟體鑄造場 製作 最佳瀏覽狀態：IE7或Firefox2.0以上 (建議使用Firefox) ‧ 解析度1024*768
E-Mail：[email protected] Address：台北市南港區研究院路2段128號 中央研究院資訊科學研究所 . 隱私權條款. 使用條款
E-Mail：[email protected] Address：台北市南港區研究院路2段128號 中央研究院資訊科學研究所 . 隱私權條款. 使用條款