Title Computer safety, reliability, and security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / Barbara Gallina, Amund Skavhaug, Friedemann Bitsch (eds.)

Published Cham, Switzerland : Springer, 2018

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xxi, 312 pages) : illustrations Series Lecture notes in computer science ; 11093 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 11093. LNCS sublibrary. SL 2, Programming and software engineering. Contents Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk Summary This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed September 7, 2018) Subject Computer security -- Congresses Computer organization -- Congresses Software engineering -- Congresses Programming languages (Electronic computers) -- Congresses Computer logic -- Congresses Application software -- Security measures -- Congresses Computer networks. Computer Communication Networks Expert systems / knowledge-based systems. Network hardware. Software Engineering. Computer security. Algorithms & data structures. Computer programming / software development. Computers -- Expert Systems. Computers -- Hardware -- Network Hardware. Computers -- Software Development & Engineering -- General. Computers -- Security -- General. Computers -- Systems Architecture -- General. Computers -- Programming -- General. Computer networks Computer logic Computer organization Computer security Programming languages (Electronic computers) Software engineering Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Gallina, Barbara, editor. Skavhaug, Amund, 1965- editor. Bitsch, Friedemann, editor. ISBN 9783319991306 3319991302 9783319991313 3319991310

Other Titles SAFECOMP 2018

  Permalink