| 查看: 260 | 回复: 1 | |||
nanyangdujie新虫 (小有名气)
|
[求助]
文献搜索
|
|
《基于SPIN/Promela的UML模型验证工具设计与实现》 【导师】 肖美华; 【学位授予单位】 南昌大学; 【学科专业名称】 计算机软件与理论 【学位年度】 2009 【论文级别】 硕士 【网络出版投稿人】 南昌大学 【网络出版投稿时间】 2010-05-26 http://epub.cnki.net/grid2008/detail.aspx?QueryID=30&CurRec=1 |
回复此楼» 猜你喜欢
存款400万可以在学校里躺平吗
已经有16人回复
-
拟解决的关键科学问题还要不要写
已经有7人回复
-
请教限项目规定
已经有3人回复
-
基金委咋了？2026年的指南还没有出来？
已经有10人回复
-
基金申报
已经有6人回复
-
推荐一本书
已经有13人回复
-
国自然申请面上模板最新2026版出了吗？
已经有17人回复
-
纳米粒子粒径的测量
已经有8人回复
-
疑惑？
已经有5人回复
-
计算机、0854电子信息（085401-058412）调剂
已经有5人回复
nanyangdujie
新虫 (小有名气)
 |
2楼2011-06-29 14:41:39