標(biāo)題: Titlebook: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o; 12th International S Tiziana Margaria [打印本頁] 作者: 稀少 時(shí)間: 2025-3-21 19:47
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o影響因子(影響力)
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o影響因子(影響力)學(xué)科排名
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o網(wǎng)絡(luò)公開度
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o被引頻次
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o被引頻次學(xué)科排名
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o年度引用
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o年度引用學(xué)科排名
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o讀者反饋
書目名稱Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor o讀者反饋學(xué)科排名