机译:虚拟ARINC 653仿真平台的设计与实现
机译:ARINC653的独立时间集成符合架构 - 基于搜索的解决方案
机译:ARINC 653层次抢占调度的建模与验证
机译:基于Linux的内存高效ARINC 653分区调度程序
机译:ARINC-653兼容系统中的缓存预测性和性能改进
机译:健康衰老脑部护理(HABC)监控器:验证用于测量和监控认知功能和心理健康的临床工具的患者自我报告版本
机译:基于Linux的ARINC 653航天器计算机的空间分离
机译:aRINC653 aaDL附件更新。