网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
approachability analysis
释义
approachability analysis
基本
例句
可达性分析
For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
随便看
PHPD
PHPer
PHperiod hours
PhPharmacokinetics
PHphase
php hypertext preprocessor
php include server side includes
php language
PHPMA
phpMyAdmin
phpopiesia
phpopiesia,hypopiesis
phpotographic offset printing
phpp
phppa
p-hpph
PHPS
phpsphate crown
phpt
phpv
PHP with Ariel database support function
phq
phr
Phra
phra-
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/3/17 4:55:07