Embedded Systems Group, Department of Computer Science, University of Kaiserslautern, Germany;
Embedded Systems Group, Department of Computer Science, University of Kaiserslautern, Germany;
Hardware; Model checking; Safety; Software; Handheld computers; Approximation algorithms; Software algorithms;
机译:通过结构指导的定向进化获得通用血液生成的高效酶
机译:定向能量武器将成为下一代精确制导武器
机译:上丘在猫的视觉引导伸手运动控制中的贡献的直接证据。
机译:用于财产定向可达性的控制流导委员会生成
机译:使用属性定向可达性对活动属性进行无痕自动设计调试。
机译:偏瘫性脑瘫患儿的皮质脊髓束扩散特性和视觉引导下的机器人
机译:BDD引导条款生成