• 充值
  • 帮助
搜期刊
主题
文献检索

Formal Methods in System Design EI PubMed AJ SCIE JST JCR:Q3 中科院4区
发文量 846
被引量 7,441
影响因子(2023) 0.231

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods. Reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems Publishes high quality, original papers describing all aspects of formal methods Builds an important and highly useful collection of commonly applicable formal methods

  • 主办单位： SPRINGER
  • 出版周期： 双月刊
  • 别名： 系统设计中的形式化方法
  • 国际标准连续出版物号： ISSN 0925-9856
  • 创刊时间： 1992年
热门主题：

VerificationModel CheckingSYSTEMSAlgorithmsPropertiesAnalysisLogicCheckingPRESENTFormal VerificationExperimentalTemporal LogicAlgorithmPROGRAMSSpecial IssueModelAPPROACHHardwareSpecificationDesign

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
分析评价
  • 1
  • 2
  • 3
  • 4
  • 8
目录
封面
2024年1-3期
共：8篇

      不详

    • Albarghouthi, AwsLeino, RustanSilva, AlexandraUrban, Caterina

      1-4

    • Bendik, JaroslavMeel, Kuldeep S. S.

      5-39

    • Chatterjee, KrishnenduKatoen, JoostPieterMohr, StefanieWeininger, MaximilianWinkler, Tobias

      40-80

    • Krishnan, Hari Govind VediramanaChen, YuTingShoham, SharonGurfinkel, Arie

      81-109

    • Armstrong, AlasdairCampbell, BrianSimner, BenPulte, ChristopherSewell, Peter

      110-133

    • Cogumbreiro, TiagoLange, JulienLiew, DennisZicarelli, Hannah

      134-171

    • Farzan, AzadehNicolet, Victor

      172-205

    • Lefaucheux, EngelOuaknine, JoelPurser, DavidWorrell, James

      235-271
2024年1-3期

2024年1-3期

客服咨询
投稿相关：023-63416211
撤稿相关：023-67396862
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号