This is the topic of the thesis. The main work of the thesis consists of modeling and analysing real-time value-passing systems and real-time mobile systems.
本文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。
参考来源 - 带实时的传值与移动系统研究·2,447,543篇论文数据，部分数据来源于NoteExpress
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
本文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。
The main work of the thesis consists of modeling and analysing real-time value-passing systems and real-time mobile systems.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
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.
应用推荐