《Formal Methods In System Design》雜志的收稿范圍和要求是什么？
來源：優(yōu)發(fā)表網(wǎng)整理 2024-09-18 10:57:45 242人看過
《Formal Methods In System Design》雜志收稿范圍涵蓋計算機科學全領(lǐng)域，此刊是該細分領(lǐng)域中屬于非常不錯的SCI期刊，在行業(yè)細分領(lǐng)域中學術(shù)影響力較大，專業(yè)度認可很高，所以對原創(chuàng)文章要求創(chuàng)新性較高，如果您的文章質(zhì)量很高，可以嘗試。
平均審稿速度 12周，或約稿 ，影響因子指數(shù)0.7。
該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。
具體收稿要求需聯(lián)系雜志社或者咨詢本站客服，在線客服團隊會及時為您答疑解惑，提供針對性的建議和解決方案。
出版商聯(lián)系方式：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
其他數(shù)據(jù)
| 是否OA開放訪問： | h-index： | 年文章數(shù)： |
| 未開放 | 47 | 34 |
| Gold OA文章占比： | 2021-2022最新影響因子（數(shù)據(jù)來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 46.75% | 0.7 | 0.41... |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預警名單（試行）》名單： |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標和發(fā)文量：
歷年中科院JCR大類分區(qū)數(shù)據(jù)：
歷年自引數(shù)據(jù)：
發(fā)文統(tǒng)計
2023-2024國家/地區(qū)發(fā)文量統(tǒng)計：
| 國家/地區(qū) | 數(shù)量 |
| USA | 22 |
| France | 16 |
| GERMANY (FED REP GER) | 9 |
| England | 7 |
| Austria | 6 |
| Switzerland | 6 |
| Israel | 4 |
| Italy | 4 |
| Sweden | 4 |
| Canada | 3 |
2023-2024機構(gòu)發(fā)文量統(tǒng)計：
| 機構(gòu) | 數(shù)量 |
| CENTRE NATIONAL DE LA RECHERCHE ... | 11 |
| COMMUNAUTE UNIVERSITE GRENOBLE A... | 6 |
| UNIVERSITY OF CALIFORNIA SYSTEM | 6 |
| INRIA | 5 |
| AUSTRIAN INSTITUTE OF TECHNOLOGY... | 3 |
| ETH ZURICH | 3 |
| IMDEA SOFTWARE INST | 3 |
| MICROSOFT | 3 |
| NEW YORK UNIVERSITY | 3 |
| SORBONNE UNIVERSITE | 3 |
近年引用統(tǒng)計：
| 期刊名稱 | 數(shù)量 |
| FORM METHOD SYST DES | 21 |
| J ACM | 13 |
| COMMUN ACM | 11 |
| THEOR COMPUT SCI | 11 |
| INT J SOFTW TOOLS TE | 7 |
| ACM T PROGR LANG SYS | 6 |
| INFORM COMPUT | 6 |
| SCI COMPUT PROGRAM | 6 |
| MATH PROGRAM | 5 |
| ACTA INFORM | 4 |
近年被引用統(tǒng)計：
| 期刊名稱 | 數(shù)量 |
| FORM METHOD SYST DES | 21 |
| INT J SOFTW TOOLS TE | 18 |
| IEEE ACCESS | 10 |
| ACM T EMBED COMPUT S | 9 |
| FORM ASP COMPUT | 8 |
| ACM COMPUT SURV | 7 |
| AUTOMATICA | 7 |
| FUND INFORM | 7 |
| IEEE T COMPUT AID D | 7 |
| J AUTOM REASONING | 6 |
近年文章引用統(tǒng)計：
| 文章名稱 | 數(shù)量 |
| Monitoring hyperproperties | 3 |
| TeLEx: learning signal temporal ... | 3 |
| A survey of challenges for runti... | 2 |
| Probabilistic black-box reachabi... | 1 |
| Incrementally closing octagons | 1 |
| An improved algorithm for the co... | 1 |
| Conditions of contracts for sepa... | 1 |
| Solving parity games via priorit... | 1 |
| Validating numerical semidefinit... | 1 |
| Efficient verification of railwa... | 1 |
聲明：以上內(nèi)容來源于互聯(lián)網(wǎng)公開資料，如有不準確之處，請聯(lián)系我們進行修改。
