...
机译:Web服务接口合同的运行时验证
Univ. of California, Santa Barbara, CA, USA;
Information storage and retrieval; Software engineering; Testing and debugging; Web-based services;
机译:定时系统的自动运行时验证的一种方法:Web服务的应用程序
机译:定时系统的自动运行时验证的一种方法:Web服务的应用程序
机译:合同规定的Web服务的运行时监视
机译:Web运行时验证Web应用程序中的接口合同教程简介
机译:复合Web服务的运行时验证
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:Web服务接口合同的运行时验证