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

Tonetta, Stefano.

概要
作品: 3 作品在 3 項出版品 1 種語言
書目資訊
Verified software = theories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers / by: VSTTE (Conference) (2022 :); Tonetta, Stefano.; SpringerLink (Online service); Lal, Akash. (書目-電子資源)
Computer safety, reliability, and security = SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings / by: Tonetta, Stefano.; Schoitsch, Erwin.; Bitsch, Friedemann.; SpringerLink (Online service); SAFECOMP (Conference) (2017 :); International Workshop on Assurance Cases for Software-Intensive Systems. (2017 :); DECSoS (Workshop) ((2017 :); SASSUR (Workshop) (2017 :); TELERISE (Workshop) (2017 :); TIPS (Workshop) (2017 :) (書目-電子資源)
Computer safety, reliability, and security = 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / by: SAFECOMP (Conference) (2017 :); Tonetta, Stefano.; Schoitsch, Erwin.; Bitsch, Friedemann.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入