Controller; Home Automation; Model Checking; State Machines; UPPAAL;
机译:单片机控制家用冷却器自动化控制板的设计与开发
机译:新的自动化控制器:STW扩展了用于移动自动化的ESX控制器范围
机译:Kongu Engineering College工业自动化实验室中使用可编程自动化控制器进行运动控制实验的工作台
机译:用于家庭自动化控制器开发的工具链
机译:自动化和电力行业实时智能控制器的开发和实施。
机译:智能运动控制器的开发及其在McBain-Bakr天平自动化中的应用
机译:家庭自动化控制器开发的工具链
机译:微电子学自动化。用于评估计算机控制器光学扫描仪性能的生物测试系统的开发。