感謝您對「自由軟體鑄造場」的支持與愛護，十多年來「自由軟體鑄造場」受中央研究院支持，並在資訊科學研究所以及資訊科技創新研究中心執行，現已完成階段性的任務。 原網站預計持續維運至 2021年底，網站內容基本上不會再更動。本網站由 Denny Huang 備份封存。
也紀念我們永遠的朋友 李士傑先生（Shih-Chieh Ilya Li）。
也紀念我們永遠的朋友 李士傑先生（Shih-Chieh Ilya Li）。
What is Resource Catalog ?
The OpenFoundry Resource Catalog lists professional resources and applications related to the development of open source software. If you have any recommendation listing / category or bug for this resource catalog, please do not hesitate to contact us. Model-Driven Hybrid and Embedded Software for Automotive Applications
Rate this listing
0 vote
This paper presents a review of salient results on modeling of complex large scale embedded systems and results on composition, analysis, model checking, and verification of safety properties. It also presents a library of vehicle models designed for cruise control (and CACC).
Platform:N/A ;License: N/A
References: https://www.cse.wustl.edu/~cdgill/RTAS04/modes_ucb.pdf
Reviews (0)
Be the first to review this listing!
Open Source Software Foundry‧ Best Viewed with IE7.0 or Firefox2.0 above, 1024x768 Resolution. E-Mail：[email protected]
Address：No.128, Sec.2, Academia Rd., Institute of Information Science, Academia Sinica, Nangang District, Taipei City 11529, Taiwan (R.O.C).
Privacy Policy. Terms-of-use
Address：No.128, Sec.2, Academia Rd., Institute of Information Science, Academia Sinica, Nangang District, Taipei City 11529, Taiwan (R.O.C).
Privacy Policy. Terms-of-use