| 查看: 283 | 回复: 1 | ||
nanyangdujie新虫 (小有名气)
|
[求助]
文献搜索
|
|
《基于SPIN/Promela的UML模型验证工具设计与实现》 【导师】 肖美华; 【学位授予单位】 南昌大学; 【学科专业名称】 计算机软件与理论 【学位年度】 2009 【论文级别】 硕士 【网络出版投稿人】 南昌大学 【网络出版投稿时间】 2010-05-26 http://epub.cnki.net/grid2008/detail.aspx?QueryID=30&CurRec=1 |
回复此楼» 猜你喜欢
青C资助名额大幅增加！
已经有11人回复
-
重磅！青年科学基金项目（C类）资助增幅预计超过50%
已经有6人回复
-
有带发论文的吗
已经有3人回复
-
导师各种操作恶心咋办
已经有13人回复
-
本人最近太闲了，谁有问题可以提，每天会统一回复
已经有12人回复
-
护理论文 晋升
已经有5人回复
-
求助大佬sci投稿哪个好中
已经有4人回复
-
评审感受-评审感受-评审感受
已经有14人回复
-
这年头没有找到涵评专家，还有中面上的可能吗
已经有6人回复
-
2026博士申请求助
已经有10人回复
nanyangdujie
新虫 (小有名气)
 |
2楼2011-06-29 14:41:39