24小时热门版块排行榜    

查看: 2216  |  回复: 8

zhongzi_1986

新虫 (初入文坛)

[求助] 形式化方法投哪个SCI期刊好?

各位达人,
      小弟一新人,最近写了一篇形式化方法的论文,关于Statecharts的,主要在基本的Statecharts的基础上提出了一些改进,并给出了model checking的方法,不知道该投哪里比较好。因为页数较长,老板希望我直接投SCI或者SCIE的期刊,大家有没有推荐的,录用率高点的,周期短点的即可,为了毕业。由于小弟新人,所以也没有多少金币,希望大家给予指导。
回复此楼

» 收录本帖的淘帖专辑推荐

FormalMethods

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

毕业毕业
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Haolan

铁虫 (小有名气)

2楼2012-05-22 21:26:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zhongzi_1986

新虫 (初入文坛)

这方面比较难发论文,所以我就准备看这篇文章了,不行的话就不准备读博了,准备硕士毕业了。希望大家能给点意见
毕业毕业
3楼2012-05-22 21:26:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zhongzi_1986

新虫 (初入文坛)

引用回帖:
2楼: Originally posted by Haolan at 2012-05-22 21:26:25:

莫非是同道中人?
毕业毕业
4楼2012-05-22 21:26:54
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Haolan

铁虫 (小有名气)

【答案】应助回帖


感谢参与,应助指数 +1
秋天白云: 金币+1, 感谢交流! 2012-05-22 21:50:49
《Journal of System Science and System Engineering》
ResearchFan
5楼2012-05-22 21:32:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Haolan

铁虫 (小有名气)

ResearchFan
6楼2012-05-22 21:32:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hls85915

荣誉版主 (文坛精英)

科研工具版——沙漠之胡

优秀版主优秀版主

【答案】应助回帖

感谢参与,应助指数 +1
JOURNAL OF SYSTEMS AND SOFTWARE  
JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS
哈哈
7楼2012-05-22 21:58:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zhongzi_1986

新虫 (初入文坛)

引用回帖:
7楼: Originally posted by hls85915 at 2012-05-22 21:58:51:
JOURNAL OF SYSTEMS AND SOFTWARE  
JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS

刚查了一下,第一个好像周期长了点,第二个好像和我研究的方向不太一样,有没有其他的推荐呢
毕业毕业
8楼2012-05-22 23:56:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lvyupku

木虫 (著名写手)

【答案】应助回帖

formal aspects of computing
theoretical computer science
science of computer programming
9楼2013-11-13 02:22:15
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 zhongzi_1986 的主题更新
信息提示
请填处理意见