Mobile
Log In Sign Up
Home > english-chinese > "直接模型" in Chinese

Chinese translation for "直接模型"

direct modeling
Example Sentences:
1.Direct model checking matrix algorithm
直接模型检测矩阵算法
2.The workshop on tools and algorithms for the construction and analysis of systems tacas 99 , lncs , springer - verlag , 1999 , 1579 : 193 - 207 . 4 burch j r , clarke e m , mcmillan k l . symbolic model checking : 10 20 states and beyond . information and computation , rm 1992 , 98 : 142 - 170
在这本文中,我们通过对kripke结构的合理扩充,提供了直接模型检测dmc direct model checking的矩阵算法,通过与体系结构描述语言adls的结合, dmc可以被直接应用在相容性consistency等关键性质的计算方面。
Similar Words:
"直接模板学说" Chinese translation, "直接模拟" Chinese translation, "直接模拟 数值两个字没了。" Chinese translation, "直接模拟计算机" Chinese translation, "直接模拟平视显示" Chinese translation, "直接模压大底" Chinese translation, "直接模压法" Chinese translation, "直接模压胶鞋" Chinese translation, "直接膜损害" Chinese translation, "直接膜作用" Chinese translation