| 查看: 337 | 回复: 1 | ||
nanyangdujie新虫 (小有名气)
|
[求助]
文献搜索
|
|
《基于SPIN/Promela的UML模型验证工具设计与实现》 【导师】 肖美华; 【学位授予单位】 南昌大学; 【学科专业名称】 计算机软件与理论 【学位年度】 2009 【论文级别】 硕士 【网络出版投稿人】 南昌大学 【网络出版投稿时间】 2010-05-26 http://epub.cnki.net/grid2008/detail.aspx?QueryID=30&CurRec=1 |
回复此楼» 猜你喜欢
浙江师范大学是怎么坑我的
已经有3人回复
-
浙江师范大学是怎么坑我的
已经有8人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有3人回复
-
求教各位大神：2026教育部人文社科青年基金项目何时公示呀？
已经有6人回复
-
面上有专家说实验设备不是我们单位的
已经有8人回复
-
科研求助
已经有4人回复
-
博士去二本高校当辅导员，如何调整心态？
已经有11人回复
-
江苏省自然基金 什么时候出结果
已经有6人回复
-
闲聊
已经有3人回复
nanyangdujie
新虫 (小有名气)
 |
2楼2011-06-29 14:41:39