《Formal Methods In System Design》影響因子查詢可以通過以下幾種方法：

1.?通過期刊官網或數據庫查詢

期刊官網：訪問Formal Methods In System Design的官方網站。
Journal Citation Reports (JCR)：由Clarivate Analytics發布，是專門提供期刊引證報告的工具，可通過期刊名、ISSN/EISSN號等進行檢索，查看期刊的影響因子及分區情況。

2.?通過學術平臺或工具查詢：

知網：國內研究者可以使用中國知網的高級檢索功能，勾選“期刊導航”后輸入刊名，在詳情頁查看復合影響因子、綜合影響因子等本土化指標。

3.?通過圖書館或學術資源

中科院分區查詢：過中科院的分區查詢系統，輸入期刊名稱即可查看影響因子和分區。

《Formal Methods In System Design》雜志是一本由Springer US出版，專注于計算機科學-計算機：理論方法領域研究的學術期刊，創刊于1992年，其ISSN為0925-9856，E-ISSN為1572-8102。該刊為Bimonthly，重點介紹在COMPUTER SCIENCE, THEORY & METHODS領域的最新關鍵主題。這些文章旨在為尚未深入研究該領域的讀者提供最新的、完整的主題總結，幫助他們快速了解相關領域的核心內容。

該雜志已被SCIE數據庫收錄， 在中科院分區中，《Formal Methods In System Design》位于大類學科：計算機科學，分區為4區，小類學科：COMPUTER SCIENCE, THEORY & METHODS計算機：理論方法，分區為：4區。

而在JCR分區中，它被歸為Q3。這表明該期刊在計算機：理論方法領域具有較高的學術影響力和認可度。