Databases; XML; Graphical user interfaces; Software; Organizations; Task analysis;
机译:电力系统保护方案的自动验证-第二部分:测试用例生成<?Pub _newline?>使用群智能
机译:批处理满足企业需求:制造商可以通过自动化批处理并将控制信息来回发送到ERP和供应链系统来达到新的效率水平
机译:CoLoR:一个基于Coq的库,基于完善的重写关系并将其应用于终止证书的自动验证
机译:自动批量证书生成和验证系统
机译:使用不变分析和测试输入生成来自动进行程序验证和修复。
机译:使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
机译:基于指数条件的安全屏障证书生成 混合系统的验证
机译:自动推理软件的应用:程序生成系统验证器