Computer safety, reliability, and security : SAFECOMP workshops, ASSURE, DECSoS, SASSUR, and TIPS, proceedings, Trondheim, Norway, Sept. 20, 2016 (e-book)

Computer safety, reliability, and security : SAFECOMP workshops, ASSURE, DECSoS, SASSUR, and TIPS, proceedings, Trondheim, Norway, Sept. 20, 2016 (e-book) - Berlin Springer 2016 - Lecture Notes in Computer Science (LNCS) v.9923 .

978-3-319-45480-1


Computer science and engineering
Computer software--Reliability--Congresses
Computers--Reliability--Congresses
Computer security--Congresses --Congresses
Formal methods (Computer science)--Congresses

Powered by Koha