机构名称：
¥ 12.0
Gourinath Banda 博士（博士：丹麦罗斯基勒大学；硕士：丹麦南丹麦大学；首席工程师：印度诺伊达三星软件工程实验室；科学家研究员：印度班加罗尔国家航空航天实验室）致力于：（i）形式验证技术，如模型检查、抽象解释和静态分析；（ii）实时系统（如内核、RTOS、应用程序、航空电子设备等）设计及其形式分析；（iii）增强设备的用户体验；（iv）用于减少电力浪费的嵌入式干预措施和（v）节能计算技术。研究兴趣：安全关键系统的形式分析；实时系统设计和分析；网络物理系统、嵌入式系统、机电一体化系统和绿色设备与技术的软件工程和严格分析技术。
2014 年度报告 - 印度理工学院印多尔分校
主要关键词
相关文件推荐
