System and Control Laboratory, Computer and Automation Research Institute, Hungarian Academy of Sciences H-1518 Budapest, POB 63, Hungary;
automatic testing; availability; error detection; implementation; nuclear plants;
机译:基于BDD的安全关键离散事件系统故障安全监控控制器的综合
机译:观察者-分布式系统的正式在线验证的概念
机译:安全关键系统中在线代理监视的主动推理方法
机译:分布式安全关键监督系统在线测试的概念
机译:安全关键型备用仪表和控制系统的风险通报型在线测试与维护服务。
机译:Dolars一种通过实际部署中的异构传感器的分布式在线活动识别系统 - 以阿尔梅利亚大学智能实验室为例
机译:基于多核NoC的系统分布式并发在线测试调度协议
机译:工业控制系统(ICs)安全指南。监控和数据采集(sCaDa)系统,分布式控制系统(DCs)和其他控制系统配置,如可编程逻辑控制器(pLC)。修订版2。