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

词汇	approachability analysis
释义	approachability analysis 基本例句可达性分析 For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
随便看	locally controlled power station locally conver space locally conver spaces locally convex locally convex algebra locally convex h-space locally convex linear space locally convex linear topological space locally convex null locally convex ring Locally convex separated space locally convex space locally convex spaces locally convex tensor product locally convex topological linear space locally convex topological vector space Locally convex topological vector spaces locally convextopology locally convex topology Locally convex vector topological locally-cooled drawing locally cosmall category locally countable locally-countable locally countable compact