Tonetta, Stefano.
概要
作品: | 4 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Verified softwaretheories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers /
by:
(1998 :); Lal, Akash.; SpringerLink (Online service); Tonetta, Stefano.
(書目-電子資源)
Computer safety, reliability, and securitySAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Schoitsch, Erwin.; SpringerLink (Online service); Tonetta, Stefano.
(書目-電子資源)
Computer safety, reliability, and security36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Schoitsch, Erwin.; SpringerLink (Online service); Tonetta, Stefano.
(書目-電子資源)
主題
Software Engineering.
Logics and Meanings of Programs.
Logic in AI.
Computer systems
Computer software
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer networks
Computer Hardware.
Computer System Implementation.
Computer Applications.