Computer program verification; Computer networks; Communication networks; Automation; Implementation; Specifications; Interfaces; Distributed processing; Sequential processes; Foreign technology;
机译:自动界面优化,用于成分验证
机译:借助人工神经网络利用从连续信号中检测到的事件对废水处理过程进行形式验证。案例研究:SBR工厂
机译:使用过程代数CSP完善和验证序列图
机译:通过CSP细化检查对输入输出一致性进行成分验证
机译:使用接口识别器/供应商(IRS)进行成分验证。
机译:ICoVeR –交互式的可视化工具用于验证和完善宏基因组库
机译:通过csp细化检查对输入 - 输出一致性进行组合验证
机译:使用Csp对系统要求进行规范和验证分解。