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