| 缩写名/全名 |
FORM METHOD SYST DES
FORMAL METHODS IN SYSTEM DESIGN |
||||||||||||||||||||||||
| ISSN号 | 0925-9856 | ||||||||||||||||||||||||
| 研究方向 | 工程技术-计算机：理论方法 | ||||||||||||||||||||||||
| 影响因子 | 2015:1.132, 2016:1, 2017:0.825, 2018:0.787, 2019:0.673, | ||||||||||||||||||||||||
| 出版国家 | UNITED STATES | ||||||||||||||||||||||||
| 出版周期 | Bimonthly | ||||||||||||||||||||||||
| 年文章数 | 18 | ||||||||||||||||||||||||
| 出版年份 | 0 | ||||||||||||||||||||||||
| 是否OA | No | ||||||||||||||||||||||||
| 审稿周期(仅供参考) | >12周，或约稿 |
||||||||||||||||||||||||
| 录用比例 | 容易 | ||||||||||||||||||||||||
| 投稿链接 | https://www.editorialmanager.com/form/default.aspx | ||||||||||||||||||||||||
| 投稿官网 | http://link.springer.com/journal/10703 | ||||||||||||||||||||||||
| h-index | 47 | ||||||||||||||||||||||||
| CiteScore |
|
||||||||||||||||||||||||
| PubMed Central (PMC)链接 | http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0925-9856%5BISSN%5D | ||||||||||||||||||||||||
| 中科院SCI期刊分区 （ 2018年新版本） |
|
||||||||||||||||||||||||
| 中科院SCI期刊分区 （ 2020年新版本） |
|
| 中国学者近期发表的论文 | |
| 1. | SAT-based explicit LTL reasoning and its application to satisfiability checking Author: Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi Journal: FORMAL METHODS IN SYSTEM DESIGN, 2019, Vol., , DOI:10.1007/s10703-018-00326-5 DOI |
| 2. | A modal characterization of alternating approximate bisimilarity Author: Jinjin Zhang, Zhaohui Zhu Journal: FORMAL METHODS IN SYSTEM DESIGN, 2013, Vol.44, 240-263, DOI:10.1007/s10703-013-0201-9 DOI |
| 3. | SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata Author: Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li Journal: FORMAL METHODS IN SYSTEM DESIGN, 2014, Vol.45, 42-62, DOI:10.1007/s10703-014-0210-3 DOI |
|
|
