机译:将分布式Ada的端到端流模型调整为Ravenscar配置文件
机译:空中物体雷达测距剖面的数学建模
机译:雷达高分辨率测距剖面的多任务隐马尔可夫谱图特征建模
机译:Ada Ravenscar任务概要的正式模型;受保护的物体
机译:将特定于领域的面向对象的建模语言定义为UML概要文件。
机译:具有任务特定边界框的深度学习模型以及用于在ADAS应用中移动对象检测的条件反向传播
机译:ada Ravenscar任务简介的形式模型;延迟至
机译:开发ada任务形式性能模型的可行性分析。