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 main work of the thesis consists of modeling and analysing real-time value-passing systems and real-time mobile systems.
本文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。
The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
应用推荐