英语词汇“approachability analysis”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	approachability analysis
释义	approachability analysis 基本例句可达性分析 For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
随便看	Arrehag Arrehed arrehenius theory Arrel Arrela arrelious arrell Arrellano Arreman Arremark Arremo Arremyr arrend arrendale arrendation arrendator arrendondo Arrenega arrengement mode Arreni Arrenius arrenotocous parthenogenesis arrenotokous arrenotoky arrent