机译:Ravenscar-Java:实时Java的高完整性概要文件
机译:在高完整性系统中使用Ada Ravenscar配置文件的指南(第1部分)〜1
机译:在高完整性系统中使用Ada Ravenscar配置文件的指南(第2部分)
机译:高完整性实时程序的Ravenscar任务配置文件
机译:在国家大学体育协会保险计划中,田径保险协调员的描述性概况,他们的工作任务和动力。
机译:程序性细胞死亡-1 /程序性细胞死亡配体-1抑制剂治疗三阴性乳腺癌的疗效和安全性:全面的系统评价
机译:Ada Ravenscar任务概要的正式模型;受保护的物体
机译:助产士,primex和medex计划的评估。第2卷。关于任务概况的补充数据