Languages
Tonetta, Stefano.
Overview
| Works: | 3 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
by:
Guiochet, Jeremie.; Tonetta, Stefano.; Bitsch, Friedemann.; SpringerLink (Online service); SAFECOMP (Conference) (2023 :)
(Electronic resources)
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)
(Electronic resources)
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 :)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.