Formal specifications; Automata; Plugs; Formal verification; Voltage control; Clocks; Smart grids;
机译:通过在中国癌症患者中进行的随机试验,开发和测试手机智能疼痛管理系统(IPMS):癌症疼痛管理的新方法
机译:使用仿真工具设计和测试智能建筑中的控制和能源管理系统
机译:采用多智能经纪方法的离网可再生混合动力车系统智能能源管理
机译:家用能源管理系统智能设备逻辑可靠性的正式方法
机译:一种通过使用空气耦合超声测试来检测飞机复合材料缺陷的智能系统方法。
机译:超越CMOS:III-V器件RF MEMS和其他异种材料/器件与Si CMOS的异构集成以创建智能微系统
机译:分布式可再生能源智能家居能源管理系统 发电机,可调度的住宅负荷和分布式储能 设备
机译:走向超可靠计算机的形式化分析:一种全面的系统方法