时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理

Publisher: 国家哲学社会科学学术期刊数据库

E-ISSN: 1000-6788|36|8|2108-2126

ISSN: 1000-6788

Source: 系统工程理论与实践, Vol.36, Iss.8, 2016-01, pp. : 2108-2126

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract