top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Computer Safety, Reliability, and Security [[electronic resource] ] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Computer Safety, Reliability, and Security [[electronic resource] ] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XXI, 312 p. 92 illus.)
Disciplina 005.8
Collana Programming and Software Engineering
Soggetto topico Computer logic
Special purpose computers
Computer communication systems
Software engineering
Computer security
Microprogramming 
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
Software Engineering
Systems and Data Security
Control Structures and Microprogramming
ISBN 3-319-99130-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.
Record Nr. UNISA-996466360103316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XV, 564 p. 190 illus.)
Disciplina 005.8
Collana Programming and Software Engineering
Soggetto topico Computer logic
Computer organization
Software engineering
Artificial intelligence
Computer hardware
Logics and Meanings of Programs
Computer Systems Organization and Communication Networks
Software Engineering
Artificial Intelligence
Computer Hardware
ISBN 3-319-99229-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).
Record Nr. UNISA-996466361503316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XXI, 312 p. 92 illus.)
Disciplina 005.8
Collana Programming and Software Engineering
Soggetto topico Computer logic
Special purpose computers
Computer communication systems
Software engineering
Computer security
Microprogramming 
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
Software Engineering
Systems and Data Security
Control Structures and Microprogramming
ISBN 3-319-99130-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.
Record Nr. UNINA-9910349411003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XV, 564 p. 190 illus.)
Disciplina 005.8
Collana Programming and Software Engineering
Soggetto topico Computer logic
Computer organization
Software engineering
Artificial intelligence
Computer hardware
Logics and Meanings of Programs
Computer Systems Organization and Communication Networks
Software Engineering
Artificial Intelligence
Computer Hardware
ISBN 3-319-99229-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).
Record Nr. UNINA-9910349410903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
New Opportunities for Software Reuse [[electronic resource] ] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
New Opportunities for Software Reuse [[electronic resource] ] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVIII, 181 p. 55 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Computer programming
Programming languages (Electronic computers)
Computer system failures
Computers
Artificial intelligence
Programming Techniques
Programming Languages, Compilers, Interpreters
System Performance and Evaluation
The Computing Profession
Artificial Intelligence
ISBN 3-319-90421-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465826303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVIII, 181 p. 55 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Computer programming
Programming languages (Electronic computers)
Computer system failures
Computers
Artificial intelligence
Programming Techniques
Programming Languages, Compilers, Interpreters
System Performance and Evaluation
The Computing Profession
Artificial Intelligence
ISBN 3-319-90421-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910349430003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Security and Safety Interplay of Intelligent Software Systems [[electronic resource] ] : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / / edited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro
Security and Safety Interplay of Intelligent Software Systems [[electronic resource] ] : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / / edited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XII, 173 p. 76 illus., 53 illus. in color.)
Disciplina 005.8
Collana Security and Cryptology
Soggetto topico Computer security
Data encryption (Computer science)
Computer communication systems
Computers
Software engineering
Systems and Data Security
Security Services
Cryptology
Computer Communication Networks
Computing Milieux
Software Engineering
ISBN 3-030-16874-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- Towards safety and security co-engineering. Challenging aspects for a consistent intertwining -- Safety and Security Interplay -- Understanding Common Automotive Security Issues and their Implications -- SysML model transformation for safety and security analysis -- The Challenge of Safety Tactics Synchronization for Cooperative Systems (Short Paper) -- SAM: A Security Abstraction Model for Automotive Software Systems -- Car Security -- CAN-FD-Sec: Improving Security of CAN-FD Protocol -- INCANTA - INtrusion detection in Controller Area Networks with Time-covert Authentication -- Detection of Injection Attacks in Compressed CAN Traffic Logs -- Key Is In The Air: Hacking Remote Keyless Entry Systems (Short Paper) -- Aviation Security -- Surveying Aviation Professionals on the Security of the Air Traffic Control System -- On the Security of MIL-STD-1553 Communication Bus.
Record Nr. UNISA-996466075603316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Security and Safety Interplay of Intelligent Software Systems : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / / edited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro
Security and Safety Interplay of Intelligent Software Systems : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / / edited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XII, 173 p. 76 illus., 53 illus. in color.)
Disciplina 005.8
Collana Security and Cryptology
Soggetto topico Computer security
Data encryption (Computer science)
Computer communication systems
Computers
Software engineering
Systems and Data Security
Security Services
Cryptology
Computer Communication Networks
Computing Milieux
Software Engineering
ISBN 3-030-16874-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- Towards safety and security co-engineering. Challenging aspects for a consistent intertwining -- Safety and Security Interplay -- Understanding Common Automotive Security Issues and their Implications -- SysML model transformation for safety and security analysis -- The Challenge of Safety Tactics Synchronization for Cooperative Systems (Short Paper) -- SAM: A Security Abstraction Model for Automotive Software Systems -- Car Security -- CAN-FD-Sec: Improving Security of CAN-FD Protocol -- INCANTA - INtrusion detection in Controller Area Networks with Time-covert Authentication -- Detection of Injection Attacks in Compressed CAN Traffic Logs -- Key Is In The Air: Hacking Remote Keyless Entry Systems (Short Paper) -- Aviation Security -- Surveying Aviation Professionals on the Security of the Air Traffic Control System -- On the Security of MIL-STD-1553 Communication Bus.
Record Nr. UNINA-9910337580303321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui