您当前浏览器版本过低,为了不影响您的使用,建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器,更换浏览器后使用更流畅!(注意!双核浏览器请切换为极速模式)
400-607-9388
FORMAL METHODS IN SYSTEM DESIGN
转发
打开微信扫一扫
期刊ISSN
0925-9856
E-ISSN
1572-8102
影响因子
登录后查看数据
自引率
3%
SCI期刊JCR分区
SCI期刊JCR分区等级:3区
按学科分区
COMPUTER SCIENCE, THEORY & METHODS
Q3
最新中科院SCI期刊分区
(基础版)
大类学科 小类学科 Top期刊 综述期刊
工程技术
4区
计算机:理论方法
4区
最新中科院SCI期刊分区
(升级版)
大类学科 小类学科 Top期刊 综述期刊
计算机科学
3区
计算机:理论方法
3区
期刊简介
The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.
出版信息
出版商 Springer US
期刊官网 https://www.springer.com/10703/
涉及的研究方向 工程技术-计算机:理论方法
刊期 Bimonthly
年文章数 24
出版国家或地区 UNITED STATES
是否OA
SCI期刊收录coverage Science Citation Index Expanded (SCIE) Scopus (CiteScore)
Cite Score相关
Cite Score
Cite Score SJR SNIP 排名
2.8 0.502 1.274
学科 分区
大类学科:Mathematics
小类学科:Theoretical Computer Science
Q2
大类学科:Mathematics
小类学科:Hardware and Architecture
Q3
大类学科:Mathematics
小类学科:Software
Q3
SCI期刊投稿推荐
JCR分区相关期刊
中科院分区相关期刊
· IEEE TRANSACTIONS ON POWER DELIVERY
立即投稿
· Telecommunications Policy
立即投稿
· IEEE Internet of Things Journal
立即投稿
· Computers
立即投稿
· Computers and Electronics in Agriculture
立即投稿
· IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
立即投稿
· EAI Endorsed Transactions on Energy Web
立即投稿
· Macromolecular Symposia
立即投稿

推荐会议

【快速EI检索|见刊后1个月检索】第三届教育知识与信息化国际学术会议(EKI 2025)

EI,Scopus

【快速EI检索|见刊后1个月检索】第三届教育知识与信息化国际学术会议(EKI 2025)

中国·重庆市

会议时间:2025-07-11

截稿时间:2025-07-04

【IEEE出版|往届快至会后3个月检索】第八届计算机信息科学与应用技术国际学术会议(CISAT 2025)

EI,Scopus

【IEEE出版|往届快至会后3个月检索】第八届计算机信息科学与应用技术国际学术会议(CISAT 2025)

中国·昆明市

会议时间:2025-07-11

截稿时间:2025-07-04

【EI稳定检索|往届见刊后1个月EI检索】第二届图像处理、机器学习与模式识别国际学术会议(IPMLP 2025)

EI,Scopus

【EI稳定检索|往届见刊后1个月EI检索】第二届图像处理、机器学习与模式识别国际学术会议(IPMLP 2025)

西班牙

会议时间:2025-07-11

截稿时间:2025-07-04

【院士杰青大咖云集 | 往届均已EI检索 】第三届遥感、测绘与地理信息系统国际学术会议(RSMG 2025)

EI,Scopus

【院士杰青大咖云集 | 往届均已EI检索 】第三届遥感、测绘与地理信息系统国际学术会议(RSMG 2025)

中国·郑州市

会议时间:2025-07-11

截稿时间:2025-07-04

【IEEE出版,连续3届稳定EI检索】第四届能源与电力系统国际学术会议 (ICEEPS 2025)

IEEE Xplore,EI,Scopus,Inspec

【IEEE出版,连续3届稳定EI检索】第四届能源与电力系统国际学术会议 (ICEEPS 2025)

中国·广州市

会议时间:2025-07-17

截稿时间:2025-07-11

【EI期刊出版】第四届电力工程与电气技术国际学术会议(ICPEET 2025)

EI,Scopus

【EI期刊出版】第四届电力工程与电气技术国际学术会议(ICPEET 2025)

中国·呼和浩特市

会议时间:2025-07-18

截稿时间:2025-07-12

【马来西亚理工大学主办 - 高录用稳检索】第五届教育、信息管理与服务科学国际学术会议(EIMSS 2025)

EI,Scopus,CNKI, Google Scholar

【马来西亚理工大学主办 - 高录用稳检索】第五届教育、信息管理与服务科学国际学术会议(EIMSS 2025)

马来西亚

会议时间:2025-07-18

截稿时间:2025-07-11

【EI稳定检索|往届会后四个月检索】第二届大数据与数字化管理国际学术会议  (ICBDDM 2025)

EI,Scopus

【EI稳定检索|往届会后四个月检索】第二届大数据与数字化管理国际学术会议 (ICBDDM 2025)

中国·乌鲁木齐市

会议时间:2025-07-18

截稿时间:2025-07-11