語系
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)
(書目-電子資源)
主題
Computer systems- Reliability
Software Engineering.
Logics and Meanings of Programs.
Logic in AI.
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer networks- Security measures
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer software- Verification
Computer Hardware.
Computer System Implementation.
Computer Applications.