机译：正式验证网络安全系统管理中的自动策略优化
机译：使用自动化系统（Sepax）与半自动化系统（Optipress II）和手动方法（羟乙基淀粉沉淀）进行常规脐带血保存的脐带血量减少：一项比较研究
机译：自动筛选与手动筛选：在时间研究中ThinPrep成像系统和手动筛选的比较。
机译：手动和自动系统的安全策略案例研究
机译：网络安全漏洞在自动化工业控制系统或监督控制和数据采集系统方面
机译：克染色：两个自动化系统和手动染色的比较
机译：在基于Java的多代理系统中自动生成基于语义的安全策略的执行机制
机译：自动信息系统（aIs）安全手册
