標(biāo)題: Titlebook: Formal Methods for Industrial Critical Systems; 14th International W María Alpuente,Byron Cook,Christophe Joubert Conference proceedings 20 [打印本頁] 作者: MEDAL 時(shí)間: 2025-3-21 18:30
書目名稱Formal Methods for Industrial Critical Systems影響因子(影響力)
書目名稱Formal Methods for Industrial Critical Systems影響因子(影響力)學(xué)科排名
書目名稱Formal Methods for Industrial Critical Systems網(wǎng)絡(luò)公開度
書目名稱Formal Methods for Industrial Critical Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Formal Methods for Industrial Critical Systems被引頻次
書目名稱Formal Methods for Industrial Critical Systems被引頻次學(xué)科排名
書目名稱Formal Methods for Industrial Critical Systems年度引用
書目名稱Formal Methods for Industrial Critical Systems年度引用學(xué)科排名
書目名稱Formal Methods for Industrial Critical Systems讀者反饋
書目名稱Formal Methods for Industrial Critical Systems讀者反饋學(xué)科排名