机译:数字控制和信号处理教学工具,为FPGA生成自动代码
机译:自动微分工具生成的地球物理伴生代码的效率
机译:新软件工具在通过同位素编码亲和标签(ICAT)和串联质谱定量蛋白质分析中的应用:新软件工具在通过同位素编码亲和标签(ICAT)定量蛋白质分析中的应用
机译:用于自动生成的指导,导航和控制代码的软件安全认证工具
机译:航空航天制导,导航和控制系统的集成软件健康管理:一种概率推理方法
机译:DNA数据可视化(DDV):用于生成基于Web的界面的软件,支持导航和分析整个基因组的DNA序列数据
机译:导出自动生成代码的正式安全认证的安全案例
机译:导航及船只检验通告第6-99号。根据211高速船的国际安全规范建造的船舶的计划审查,检查和211认证指南以及关于非编码高速船的附加信息