生理學(xué)關(guān)鍵字列表
Bio Model Analyzer是一款微軟基于云的生理學(xué)研究工具,可以用于對化細(xì)胞交互和通信進(jìn)行建模,現(xiàn)已經(jīng)在GitHub上開源,在MIT許可之下。BMA合并了系統(tǒng)生理學(xué)和形式化方法,其中形式化方法已被用于并發(fā)軟件系統(tǒng)的描述和驗證。
企業(yè)網(wǎng)版權(quán)所有?2010-2024 京ICP備09108050號-6京公網(wǎng)安備 11010502049343號