AADL-based development

指在軟件開發(fā)過程中采用形式化方法,該方法在航電領域、具有高實時性要求的分布式實時嵌入式系統(tǒng)中有著巨大價值。 ......（本文共 59 字） [閱讀本文] >>

^{<noscript id="v5g96"></noscript>}

^{<style id="v5g96"></style>}

推薦內(nèi)容