distributed computing; runtime monitoring; temporal logic; web services;
机译:协作运行时监视
机译:Web服务接口合同的运行时验证
机译:合同规定的Web服务的运行时监视
机译:LTL接口合同的协同运行时监视
机译:状态迁移共享变量编程及其对细粒度协作任务的运行时支持。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:Web服务接口合同的运行时验证
机译:EaGLE可以进行高效的LTL监控