...
机译:动态构建可证明正确的服务组合-模板和证明
Department of Computer Science, Paderborn University, Germany;
Department of Computer Science, Paderborn University, Germany;
Verification; Hoare-calculus; Templates; Service compositions; Correctness by construction;
机译:HIL:组成FTL开发的框架和可证明的碰撞恢复
机译:可验证状态机:不受信任的服务正常运行的证明
机译:一种尺寸不能满足所有需求:基于逻辑的群集可实时进行Web服务组合和验证
机译:CoCTelS电信服务组合模型的正确性证明义务
机译:实现可证明正确的服务:通过监督控制综合实现自动化服务组合
机译:消防和救援服务局与国家卫生局可以共同努力改善弱势老年人的安全和福祉吗?概念验证研究的设计
机译:通过自然语言请求即时构建Web服务组合。
机译:利用局部细化和组合开发不可纠正的容错系统的形式化方法