Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Mentés helye:
Bibliográfiai részletek
Testületi szerző(k):
SpringerLink (Online service), közreadó testület
International Conference on Computer Safety, Reliability, and Security36.(2017) (Trento, Italy)
Közreműködő(k):
Tonetta, Stefano, szerk.
Különgyűjtemény:e-book
Formátum: könyv
Nyelv:angol
Megjelenés: Cham : Springer International Publishing, 2017
Sorozat:Programming and Software Engineering ; 10489
Tárgyszavak:
logikai tervezés > konferencia
szoftverfejlesztés > konferencia
adatvédelem > informatika
számítógépes hálózati architektúrák > konferencia
Logic design.
Computer science.
Software engineering.
Data protection.
Computer network architectures.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Systems and Data Security.
Computer Applications.
Computer Systems Organization and Communication Networks.
elektronikus könyv
konferenciakötet
tanulmányok
Online elérés:https://doi.org/10.1007/978-3-319-66284-8
Címkék: Új címke
A tételhez itt fűzhet saját címkét!
id opac-EUL01-000954347
collection e-book
institution L_042
EUL01
spelling Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings edited by Stefano Tonetta [et al.]
Cham Springer International Publishing 2017
XIV, 478 p. ill.
szöveg txt rdacontent
számítógépes c rdamedia
távoli hozzáférés cr rdacarrier
szövegfájl PDF rda
Programming and Software Engineering 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.
Nyomtatott kiadás: ISBN 9783319662831
Nyomtatott kiadás: ISBN 9783319662855
Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők.
könyv
e-book
logikai tervezés konferencia
szoftverfejlesztés konferencia
adatvédelem informatika
számítógépes hálózati architektúrák konferencia
Logic design.
Computer science.
Software engineering.
Data protection.
Computer network architectures.
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I14050
Computer Applications. http://scigraph.springernature.com/things/product-market-codes/I23001
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I13006
elektronikus könyv
konferenciakötet
tanulmányok
Tonetta, Stefano szerk.
SpringerLink (Online service) közreadó testület
International Conference on Computer Safety, Reliability, and Security 36. 2017 Trento, Italy
Programming and Software Engineering
Online változat https://doi.org/10.1007/978-3-319-66284-8
Cham Springer International Publishing Imprint: Springer 2017
EUL01
language English
format Book
author2 Tonetta, Stefano, szerk.
author_facet Tonetta, Stefano, szerk.
SpringerLink (Online service), közreadó testület
International Conference on Computer Safety, Reliability, and Security36.(2017) (Trento, Italy)
author_corporate SpringerLink (Online service), közreadó testület
International Conference on Computer Safety, Reliability, and Security36.(2017) (Trento, Italy)
author_sort Tonetta, Stefano
title Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
spellingShingle Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Programming and Software Engineering ; 10489
logikai tervezés -- konferencia
szoftverfejlesztés -- konferencia
adatvédelem -- informatika
számítógépes hálózati architektúrák -- konferencia
Logic design.
Computer science.
Software engineering.
Data protection.
Computer network architectures.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Systems and Data Security.
Computer Applications.
Computer Systems Organization and Communication Networks.
elektronikus könyv
konferenciakötet
tanulmányok
title_sub SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
title_short Computer Safety, Reliability, and Security
title_full Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings edited by Stefano Tonetta [et al.]
title_fullStr Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings edited by Stefano Tonetta [et al.]
title_full_unstemmed Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings edited by Stefano Tonetta [et al.]
title_auth Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
title_sort computer safety reliability and security safecomp 2017 workshops assure decsos sassur telerise and tips trento italy september 12 2017 proceedings
series Programming and Software Engineering ; 10489
series2 Programming and Software Engineering
publishDate 2017
publishDateSort 2017
physical XIV, 478 p. : ill.
isbn 978-3-319-66284-8
callnumber-raw 14537
callnumber-search 14537
topic logikai tervezés -- konferencia
szoftverfejlesztés -- konferencia
adatvédelem -- informatika
számítógépes hálózati architektúrák -- konferencia
Logic design.
Computer science.
Software engineering.
Data protection.
Computer network architectures.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Systems and Data Security.
Computer Applications.
Computer Systems Organization and Communication Networks.
elektronikus könyv
konferenciakötet
tanulmányok
topic_facet logikai tervezés -- konferencia
szoftverfejlesztés -- konferencia
adatvédelem -- informatika
számítógépes hálózati architektúrák -- konferencia
Logic design.
Computer science.
Software engineering.
Data protection.
Computer network architectures.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Systems and Data Security.
Computer Applications.
Computer Systems Organization and Communication Networks.
elektronikus könyv
konferenciakötet
tanulmányok
logikai tervezés
szoftverfejlesztés
adatvédelem
számítógépes hálózati architektúrák
Logic design.
Computer science.
Software engineering.
Data protection.
Computer network architectures.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Systems and Data Security.
Computer Applications.
Computer Systems Organization and Communication Networks.
konferencia
informatika
url https://doi.org/10.1007/978-3-319-66284-8
illustrated Illustrated
first_indexed 2023-12-27T16:54:28Z
last_indexed 2023-12-30T20:26:37Z
recordtype opac
publisher Cham : Springer International Publishing
_version_ 1786736172736708609
score 13,365248
generalnotes 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.

Hasonló tételek