第1选型 ITBuy
信众智-CIO社交平台
第1培训-企业数字化培训平台
金融
BMA关键字列表
微软开源基于云的生理学研究工具
Bio Model Analyzer是一款微软基于云的生理学研究工具,可以用于对化细胞交互和通信进行建模,现已经在GitHub上开源,在MIT许可之下。BMA合并了系统生理学和形式化方法,其中形式化方法已被用于并发软件系统的描述和验证。
BMA 生理学 研究人员
话题推荐
企业网版权所有©2010-2025 京ICP备09108050号-6京公网安备 11010502049343号