| 查看: 320 | 回复: 1 | |||
nanyangdujie新虫 (小有名气)
|
[求助]
文献搜索
|
|
《基于SPIN/Promela的UML模型验证工具设计与实现》 【导师】 肖美华; 【学位授予单位】 南昌大学; 【学科专业名称】 计算机软件与理论 【学位年度】 2009 【论文级别】 硕士 【网络出版投稿人】 南昌大学 【网络出版投稿时间】 2010-05-26 http://epub.cnki.net/grid2008/detail.aspx?QueryID=30&CurRec=1 |
回复此楼» 猜你喜欢
咱们一起用铁证分析2026国家社科基金中标与否
已经有17人回复
-
欢迎发来filecode的Mz6后的代码验证其规律
已经有47人回复
-
各位道友，我要去昆明玩几天，回来见。
已经有6人回复
-
奇怪，两个人的filecode固定段从头到尾一模一样
已经有11人回复
-
哪位老哥知道今年的国自然具体哪一天放榜？
已经有4人回复
-
有时候，自然基金真的不能太认真 （我的申报经验）
已经有8人回复
-
应该是93bebmhtak前后十一个字符比较关键
已经有37人回复
-
好奇怪的filecode
已经有7人回复
-
filecode
已经有9人回复
-
请教兼职经验
已经有3人回复
nanyangdujie
新虫 (小有名气)
 |
2楼2011-06-29 14:41:39
