Tonetta, Stefano.
概要
| 作品: | 5 作品在 4 項出版品 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.
(書目-電子資源)
Computer safety, reliability, and security42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Guiochet, Jeremie.; SpringerLink (Online service); Tonetta, Stefano.
(書目-電子資源)
主題
Software Engineering.
Computer organization
Software engineering
Logics and Meanings of Programs.
Logic in AI.
Computer and Information Systems Applications.
Data and Information Security.
Computer systems
Computer software
Robotics.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Programming languages (Electronic computers)
Computer logic
Computer Engineering and Networks.
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer networks
Computer Hardware.
Computer System Implementation.
Application software
Computer Applications.