English 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：

"直接模板学说" English translation, "直接模拟" English translation, "直接模拟 数值两个字没了。" English translation, "直接模拟计算机" English translation, "直接模拟平视显示" English translation, "直接模压大底" English translation, "直接模压法" English translation, "直接模压胶鞋" English translation, "直接膜损害" English translation, "直接膜作用" English translation