LEADER nam a22 5i 4500
001 000954347
005 20190827122038.0
007 cr nn 008mamaa
008 170902s2017 sz af fsb 101 0 eng d
020 |a 978-3-319-66284-8 
024 7 |a 10.1007/978-3-319-66284-8  |2 doi 
040 |a Springer  |b hun  |c ELTE 
041 0 |a eng 
080 |a 005.1015113  |2 23 
245 0 0 |a Computer Safety, Reliability, and Security  |b SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings  |c edited by Stefano Tonetta [et al.] 
260 |a Cham  |b Springer International Publishing  |c 2017 
300 |a XIV, 478 p.  |b ill. 
336 |a szöveg  |b txt  |2 rdacontent 
337 |a számítógépes  |b c  |2 rdamedia 
338 |a távoli hozzáférés  |b cr  |2 rdacarrier 
347 |a szövegfájl  |b PDF  |2 rda 
490 1 |a Programming and Software Engineering  |v 10489 
505 0 |a 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. 
520 |a 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. 
580 |a Nyomtatott kiadás: ISBN 9783319662831 
580 |a Nyomtatott kiadás: ISBN 9783319662855 
506 |a Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők. 
598 |a könyv 
595 |a e-book 
650 0 4 |a logikai tervezés  |x konferencia 
650 0 4 |a szoftverfejlesztés  |x konferencia 
650 0 4 |a adatvédelem  |x informatika 
650 0 4 |a számítógépes hálózati architektúrák  |x konferencia 
650 0 |a Logic design. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Data protection. 
650 0 |a Computer network architectures. 
650 1 4 |a Logics and Meanings of Programs.  |0 http://scigraph.springernature.com/things/product-market-codes/I1603X 
650 2 4 |a Programming Languages, Compilers, Interpreters.  |0 http://scigraph.springernature.com/things/product-market-codes/I14037 
650 2 4 |a Software Engineering.  |0 http://scigraph.springernature.com/things/product-market-codes/I14029 
650 2 4 |a Systems and Data Security.  |0 http://scigraph.springernature.com/things/product-market-codes/I14050 
650 2 4 |a Computer Applications.  |0 http://scigraph.springernature.com/things/product-market-codes/I23001 
650 2 4 |a Computer Systems Organization and Communication Networks.  |0 http://scigraph.springernature.com/things/product-market-codes/I13006 
653 |a elektronikus könyv 
653 |a konferenciakötet 
653 |a tanulmányok 
700 1 |a Tonetta, Stefano  |e szerk. 
710 2 |a SpringerLink (Online service)  |e közreadó testület 
711 2 |a International Conference on Computer Safety, Reliability, and Security  |n 36.  |d 2017  |c Trento, Italy 
830 0 |a Programming and Software Engineering 
850 |a B2 
856 4 0 |y Online változat  |u https://doi.org/10.1007/978-3-319-66284-8 
264 1 |a Cham  |b Springer International Publishing  |b Imprint: Springer  |c 2017