logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
F

Formal Methods in System Design

IF0.8
论文数11
被引数
期刊论文 11
发表时间
delete
deleteFormal Methods in System Design
IF0.8
delete2026-05-12
delete0
deleteOAAI
deleteGalicia-Mendoza, Fernando A.; Rosenblueth, David A.; Solar-Lezama, Armando
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2026-03-20
delete0
PREAI
deleteAmilon, Jesper; Esen, Zafer; Gurov, Dilian; Lidstrom, Christian; Rummer, Philipp; Voorberg, Marten
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2026-03-19
delete0
PREAI
deleteKonrad, Alexander; Scholl, Christoph
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2026-02-01
delete0
PREAI
deleteAndriushchenko, Roman; Bork, Alexander; Ceska, Milan; Junges, Sebastian; Katoen, Joost-Pieter; Macak, Filip
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2026-02-01
delete0
PREAI
deleteKamburjan, Eduard
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2026-01-08
delete0
PREAI
deleteRaha, Ritam; Roy, Rajarshi; Fijalkow, Nathanael; Neider, Daniel
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2025-12-15
delete0
PREAI
deleteFokkink, Wan; van Glabbeek, Rob
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2025-11-01
delete0
PREAI
deleteSakar, Omer; Safari, Mohsen; Huisman, Marieke; Wijs, Anton
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2025-11-01
delete0
PREAI
deleteFeng, Nick; Marsso, Lina; Kholodetska, Yuliia; Chechik, Marsha
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2025-10-01
delete0
PREAI
deleteWu, Yingjie; Wang, Guohui; Chen, Shanyan; Shi, Zhiping; Guan, Yong; Li, Ximeng
delete分享
delete收藏
deleteFormal Methods in System Design
IF0.8
delete2025-10-01
delete0
deleteOAAI
deleteGriggio, Alberto; Rungta, Neha
delete分享
delete收藏