Languages
Skavhaug, Amund.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Computer safety, reliability, and security37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Gallina, Barbara.; Skavhaug, Amund.; SpringerLink (Online service)
(Electronic resources)
Computer safety, reliability, and securitySAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
(1998 :); Skavhaug, Amund.; SpringerLink (Online service)
(Electronic resources)
Computer safety, reliability, and security35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Guiochet, Jeremie.; Skavhaug, Amund.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computer organization
Software engineering
Logics and Meanings of Programs.
Computer systems
Computation by Abstract Devices.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Computer logic
Special Purpose and Application-Based Systems.
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Application software
Computer Communication Networks.
Computer Applications.