formal methods in system design
Expert Systems with Applications 专家系统的应用 Formal Methods in System Design 系统设计的形式方法 Foundations of Computational Mathematics 计算数学基础 ..
基于12个网页-相关网页
formal methods in system design
系统设计中的形式化方法
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
youdao
更多双语例句