flexible modeling framework的意思|示意
美 / /
英 / /
灵活的建模框架
flexible modeling framework的网络常见释义
的形式化建模框架 随着模型大小与复杂性增 长，状态空间呈指数增长，JPL开发了一种使用SPIN 的形式化建模框架(flexible modeling framework，FMF)解决状态爆炸问题，并开发了基于属性的测试工具(propertybasedtester， PBT)。