The main work of the thesis consists of modeling and analysing real-time value-passing systems and real-time mobile systems.

本文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。

youdao

To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.

对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。

youdao

The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.

对于并发传值系统抽象模型的选取直接影响其模型检测的效率。

youdao

X I'm passing an X, and yet I'm also assigning the return value to X. So just intuitively what's going to be the effect of this one line of code?

我传一个X，之后我把返回值赋值给,很明显，这一行代码,将会产生什么作用？

哈佛公开课 - 计算机科学课程节选

I'm passing as input the value in X, which is two.

我把那个值当输入传给X，那个值是。

哈佛公开课 - 计算机科学课程节选

Does the administration see value in passing ENDA in one chamber of Congress to build momentum for complete passage at a later time?

WHITEHOUSE: Press Briefing

Francis Lun, managing director of Lyncean Holdings in Hong Kong, said the accuracy of the export number was in doubt, based on what is known about the value of Chinese goods passing through Hong Kong, a semiautonomous Chinese territory.

NPR: China's March Imports Rise In Sign Of Recovery

With each passing year, the monetary value of that error may grow.

FORBES: 401(k)s: Far More Dangerous Than IRAs (March 2, 2001)