已选(0)清除
条数/页: 排序方式:
|
| 美国社会养老保险基金投资运营的政府管制经验及对我国的启示 期刊论文 经济纵横, 2017, 页码: 118-122 作者: 岳公正[1]; 陆云燕[2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/04/24
|
| 抽象精化和可满足性结合的EFSM 模型测试用例优化生成 期刊论文 计算机学报, 2016, 卷号: 39, 页码: 2236-2252 作者: 陆公正[1]; 缪淮扣[2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/04/26
|
| 法国社会养老保险基金发展历史分析 期刊论文 经济研究导刊, 2016, 页码: 81-83 作者: 岳公正[1]; 陆云燕[2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/04/26
|
| 基于EFSM模型的测试用例优化生成及实例化 学位论文 : 上海大学, 2014 作者: 陆公正[1]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2019/04/30
|
| 时间UML-Statecharts建模的工作流时序约束的一致性验证 期刊论文 2006, 卷号: 33, 期号: 11, 页码: 98 作者: 张广泉[1]; 陆公正[1]; 戎玫[2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/10
|
| 基于UML-Statecharts的工作流控制结构的验证 期刊论文 2006, 卷号: 33, 期号: 5, 页码: 159 作者: 陆公正[1]; 戎玫[2]; 张广泉[1,3]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/10
|
| 基于稠密时间的实时系统模型检测的一个应用 期刊论文 2005, 卷号: 25, 期号: [db:dc_citation_issue], 页码: 1 作者: 陆公正 [1]; 戎玫 [2]; 张广泉 [1]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/03
|