語系
Tonetta, Stefano.
概要
| 作品: | 3 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
by:
SAFECOMP (Conference) (2023 :); Guiochet, Jeremie.; Tonetta, Stefano.; Bitsch, Friedemann.; SpringerLink (Online service)
(書目-電子資源)
Verified software = theories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers /
by:
VSTTE (Conference) (2022 :); Lal, Akash.; Tonetta, Stefano.; SpringerLink (Online service)
(書目-電子資源)
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.
Computer organization
Software engineering
Logics and Meanings of Programs.
Logic in AI.
Application software- Security measures
Computer and Information Systems Applications.
Data and Information Security.
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 networks- Security measures
Computer Engineering and Networks.
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer software- Verification
Computer Hardware.
Computer System Implementation.
Computer Applications.