主畫面 | 輔助說明 | 重新查詢 | English Mode

中研院圖書館首頁


重新查詢 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
書名 Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
出版項 Cham : Springer International Publishing : Imprint: Springer, 2017
國際標準書號 9783319662848 (electronic bk.)
9783319662831 (paper)
國際標準號碼 10.1007/978-3-319-66284-8 doi
 book jacket
請按以下連結
eBook(Springerlink)
說明 1 online resource (xiv, 478 pages) : illustrations, digital ; 24 cm
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
系列 Lecture notes in computer science, 0302-9743 ; 10489
Lecture notes in computer science ; 10489
附註 Assurance cases for Software-Intensive Systems -- Dependable embedded and cyber-physical systems and systems-of-systems -- Next generation of system assurance approaches for safety-critical systems -- Timing performance in safety engineering -- Technical and legal aspects of data privacy and security
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 - Assurance Cases for Software-Intensive Systems; DECSoS 2017 - ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 - Next Generation of System Assurance Approaches for Safety-Critical Systems; TIPS 2017 - Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security
Host Item Springer eBooks
主題 Computer security -- Congresses
Computer networks -- Security measures -- Congresses
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Systems and Data Security
Computer Applications
Computer Systems Organization and Communication Networks
Alt Author Tonetta, Stefano, editor
Schoitsch, Erwin, editor
Bitsch, Friedemann, editor
SpringerLink (Online service)
SAFECOMP (Conference) (36th : 2017 : Trento, Italy)
International Workshop on Assurance Cases for Software-Intensive Systems. (4th : 2017 : Trento, Italy)
DECSoS (Workshop) (2017 : Trento, Italy)
SASSUR (Workshop) (6th : 2017 : Trento, Italy)
TELERISE (Workshop) (3rd : 2017 : Trento, Italy)
TIPS (Workshop) (2nd : 2017 : Trento, Italy)
Alt Title SAFECOMP 2017
Record:   Prev Next
重新查詢 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode