片语
Formal Methods for Components组件与对象用形式方法
formal consensus methods正式共识法
formal methods europeFormal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based system The association's members are drawn from academia and industry.
the formal methods公式法
Teaching Formal Methods形式方法教学
formal analysis methods形式化分析方法
Formal Methods and Verification形式化方法与验证
formal methods model方法模型
Theory and formal methods理论与形式化方法