网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
approachability analysis
释义
approachability analysis
基本
例句
可达性分析
For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
随便看
point type heat fire detector
point-type infrared missile
point type speed control system
pointu
point unconsciously
point under discussion
point underflow
point unhesitatingly
point union
point unit
point unit heat transfer coefficient
point unit vortex
point up
point up difference between
point up something
point up the brickwork
point upward
pointure
Pointurier
Point us at our targets
pointvalue
point value
point-value
point variable
point vault
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/4/3 6:42:42