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