网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
approachability analysis
释义
approachability analysis
基本
例句
可达性分析
For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
随便看
胶藤素
胶蚧属
胶蚧科
胶蛋白质类,果蝇
胶血症
胶衣
胶衬泥泵
胶袋
胶被膜
胶装
胶西
胶角耳
胶言
胶让
胶谲
胶质
胶质丝
胶质二氧化钍
胶质代那买特
胶质体
胶质化
胶质区
胶质原
胶质原的
胶质原纤维
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/4/21 3:20:47