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

词汇	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