| 查看: 318 | 回复: 1 | ||
nanyangdujie新虫 (小有名气)
|
[求助]
文献搜索
|
|
《基于SPIN/Promela的UML模型验证工具设计与实现》 【导师】 肖美华; 【学位授予单位】 南昌大学; 【学科专业名称】 计算机软件与理论 【学位年度】 2009 【论文级别】 硕士 【网络出版投稿人】 南昌大学 【网络出版投稿时间】 2010-05-26 http://epub.cnki.net/grid2008/detail.aspx?QueryID=30&CurRec=1 |
回复此楼» 猜你喜欢
澳大利亚 Murdoch University 全奖博士招生（3个名额）地质化工冶金领域
已经有68人回复
-
欢迎发来filecode的Mz6后的代码验证其规律
已经有30人回复
-
我的国基提前知道中了，可是同事的操作让我实在接受不了，怎么会有这样的人
已经有15人回复
-
关于Filecode分析方法
已经有12人回复
-
咱们一起用铁证分析2026国家社科基金中标与否
已经有11人回复
-
小木虫上这么多卖论文的，真有人买论文么？感觉没必要啊
已经有10人回复
-
阿姨
已经有4人回复
-
一作与独作在应聘高校教师时区别大吗
已经有4人回复
-
静等基金结果
已经有21人回复
-
FileCode能看出啥？
已经有28人回复
nanyangdujie
新虫 (小有名气)
 |
2楼2011-06-29 14:41:39
