Dept. of ECE, Concordia Univ., Montreal, QC, Canada;
机译:目标软件生成:在实时操作系统上自动映射系统的方法
机译:基于多分辨率遥感图像的堤防群体半自动提取和映射:应用于东北塔里木砌块中kulukeage区的堤防
机译:在基准生产系统中基于NCES的自动规范和基于SESA的可行控制组件的验证
机译:基于平台的ARM Cortex-M自动映射AF3规范
机译:自动生成和验证基于复杂模式的软件规范。
机译:组蛋白脱乙酰基酶(HDAC)抑制剂伏立诺他用于儿科和成年患者的基于生理的药代动力学和药效学(PBPK / PD)模型及其在剂量规范中的应用
机译:ARM Cortex-M上的指令调度和寄存器分配