Languages
Skavhaug, Amund.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Computer safety, reliability, and security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
Skavhaug, Amund.; SpringerLink (Online service)
(Electronic resources)
Computer safety, reliability, and security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings /
by:
Bitsch, Friedemann.; SpringerLink (Online service); SAFECOMP (Conference) (2016 :); Skavhaug, Amund.; Guiochet, Jeremie.
(Electronic resources)
Subjects
Computer systems- Reliability
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer Applications.