語系
跳至 : 概要 | 書目資訊 | 主題

International Workshop on Formal Methods for Industrial Critical Systems (2021 :)

概要
作品: 1 作品在 1 項出版品 1 種語言
書目資訊
Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: International Workshop on Formal Methods for Industrial Critical Systems (2021 :); Lluch Lafuente, Alberto.; Mavridou, Anastasia.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入