aerospace computing; avionics; formal specification; operating systems (computers); program testing; program verification; system monitoring;
机译:虚拟ARINC 653仿真平台的设计与实现
机译:基于ARINC 653规范的实时软件工程
机译:基于人工智能的虚拟教育实验平台设计
机译:利用零星服务器为基于ARINC653的实时虚拟化环境提供预算计划
机译:在农业和自然资源中开发虚拟世界以进行仿真实验和使用基于本体的仿真进行电子学习
机译:使用虚拟实验设计和多尺度建模对3D零件和微结构零件的注射成型仿真进行实验验证
机译:基于aRINC规范653的实时软件工程