计算机工程与应用2003，Vol.39Issue(28)：216-220,5.
基于企业流程的需求形式化验证技术
The Requirements Formal Verification Technology Based on Business Process
郑跃斌1
作者信息
- 1. 北京华夏新达软件股份有限公司,北京,100085
- 折叠
摘要
关键词
企业流程/需求验证/软件工程分类
信息技术与安全科学引用本文复制引用
郑跃斌..基于企业流程的需求形式化验证技术[J].计算机工程与应用,2003,39(28):216-220,5.
