A dynamic verification method of executable UML/SysML models with timed-functional constraints

[引用][C] 复杂系统能力需求模型的仿真技术与实现

张炜钟， 王智学， 王庆龙， 赵文， 陈剑 - 系统工程与电子技术, 2012
被引用次数：2 相关文章 所有 2 个版本

[引用][C] 可执行能力需求模型的动作语义研究

王智学， 张炜钟， 赵文， 姜志平 - 系统工程与电子技术, 2011
相关文章 所有 2 个版本

[引用][C] Study on action semantics of executable capability requirement models

ZX Wang, WZ Zhang, W Zhao… - Systems …, 2011 - Science Press, Marketing and Sales …
相关文章