Tonetta, Stefano.
Overview
| Works: | 5 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.