机译:基于面向方面的软件架构分析的形式化方法
机译:正式方法在业务流程再造的建模与分析方面的应用
机译:正式方法在业务流程再造的建模与分析方面的应用
机译:在宽方向上使用正式方法的方法
机译:一种正式的方法,可解释,安全和可融合性的钢筋学习
机译:在布基纳法索瓦加杜古的一个正式社区中很难以社区为基础的贫困者选择方法:一项混合方法探索性研究
机译:软件工程和形式方法期刊的形式方面专刊(SEFM'14)
机译:信息保护技术的形式化方法任务1:基于形式语法的方法和模拟计算机网络攻击工具第二部分