中文

杜彦华*, 于泽. 时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理. 系统工程理论与实践. 2016, 36(8): 2108-2126.

Hits:

Copyright ©  2022 USTB All Rights Reserved. Tel:010-62332299 Click:
  MOBILE Version

The Latest Update Time:..