School of Computer Science University of Manchester Oxford Road Manchester M13 9PL UK;
Commissariat a l'Energie Atomique et aux Energies Alternatives MINATEC Campus 17 Rue des Martyrs 38054 Grenoble Cedex France;
机译:隐身的正式方法:Inspex经验
机译:在DO-178B项目中使用正式方法
机译:基于Eduscrum项目管理方法的正规,非正规和非正规教育环境教育的实施轨迹
机译:探索ISPEX项目中的形式方法的应用
机译:对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
机译:Zsyntax:分子生物学的一种形式语言在文本挖掘和生物预测中有计划的应用
机译:用于高级传感应用的正式验证:Inspex系统中的数据预处理
机译:空间应用的正式方法演示项目