机译:在行业中部署形式化方法的高潮和低谷
机译:评估基于状态的正式方法对工业部署的适用性
机译:正式的服务质量保证,使用概率模型检查方法对云部署选项进行排名和验证
机译:设计和部署可靠的无线传感器网络的正式方法论
机译:ISS S / A部署 - EVA应急能力的高度和低点,设计师的观点
机译:产品建模(PPM)方法的新形式化和分析过程及其在预制混凝土行业中的应用。
机译:设计和部署可靠的无线传感器网络的正式方法论
机译:评估基于国家的工业部署的正规方法的适用性
机译:计算科学:工业中正式方法的部署:Fp7 ICT部署综合项目的遗产。