BMA关键字列表

  • 微软开源基于云的生理学研究工具

    Bio Model Analyzer是一款微软基于云的生理学研究工具,可以用于对化细胞交互和通信进行建模,现已经在GitHub上开源,在MIT许可之下。BMA合并了系统生理学和形式化方法,其中形式化方法已被用于并发软件系统的描述和验证。

加载更多
loading

企业网版权所有©2010-2025 京ICP备09108050号-6京公网安备 11010502049343号