分布式操作系统形式化生成系统模型的研究

机译：分布式操作系统形式化生成系统（DOSFGS）中的语义子系统

机译：分布式操作系统形式化生成系统中的语义子系统（DOSFGS）

机译：分布式操作系统自动生成系统模型

机译：列车自动操作系统的形式化分析与异常诊断研究

机译：现代操作系统中输入和输出的形式化：Hadley模型。

机译：使用数据驱动的模型-脑映射来约束形式化的认知模型

机译：用于验证底层操作系统代码的内存特性的形式化模型

机译：分布式任务培训：团队，虚拟现实和实时网络。多模式综合团队培训。分布式任务训练的有效性。虚拟培训平台中的图像生成系统。实现分布式missi

机译：一种开发和实现模型的方法，该模型用于形式化描述多组件分布式协作系统，特别是智能柔性生产自动化系统

机译：语言模型生成系统，是语言模型生成方法和语言模型生成系统，其中

机译：识别模型生成系统，识别模型生成方法，用于执行计算机生成方法的识别模型程序和程序被记录在计算机可读记录介质以及结构网格生成系统中，