000914583 000__ 04460cam\a2200565Ii\4500
000914583 001__ 914583
000914583 005__ 20230306150359.0
000914583 006__ m\\\\\o\\d\\\\\\\\
000914583 007__ cr\cn\nnnunnun
000914583 008__ 190916s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000914583 020__ $$a9783030266011$$q(electronic book)
000914583 020__ $$a303026601X$$q(electronic book)
000914583 020__ $$z9783030266004
000914583 0247_ $$a10.1007/978-3-030-26601-1$$2doi
000914583 035__ $$aSP(OCoLC)on1119666061
000914583 035__ $$aSP(OCoLC)1119666061
000914583 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dUKMGB$$dOCLCF$$dEBLCP
000914583 049__ $$aISEA
000914583 050_4 $$aQA76.9.A25$$bS34 2019eb
000914583 08204 $$a005.8$$223
000914583 1112_ $$aInternational Conference on Computer Safety, Reliability, and Security$$n(38th :$$d2019 :$$cTurku, Finland)
000914583 24510 $$aComputer safety, reliability, and security :$$b38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings /$$cAlexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch (eds.).
000914583 264_1 $$aCham :$$bSpringer,$$c[2019]
000914583 264_4 $$c©2019
000914583 300__ $$a1 online resource :$$billustrations.
000914583 336__ $$atext$$btxt$$2rdacontent
000914583 337__ $$acomputer$$bc$$2rdamedia
000914583 338__ $$aonline resource$$bcr$$2rdacarrier
000914583 4901_ $$aLecture notes in computer science ;$$v11698
000914583 4901_ $$aLNCS sublibrary. SL2 - Programming and software engineering
000914583 500__ $$aIncludes author index.
000914583 5050_ $$aFormal Verification.- Towards Zero Alarms in Sound Static Analysis of Finite State Machines.- Graceful Degradation Design Process for Autonomous Driving System.- Formal Verification of Memory Preservation of x86-64 Binaries.- Autonomous Driving.- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits.- Fitness Functions for Testing Automated and Autonomous Driving Systems.- A SysML Profile for Fault Trees -- linking safety models to system design.- Safety and Reliability Modeling.- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models.- Forecast Horizon for Automated Safety Actions in Automated Driving Systems.- Digital Forensics in Industrial Control Systems.- Security Engineering and Risk Assessment.- Efficient Model-level Reliability Analysis of Simulink Models.- Increasing Trust in Data-Driven Model Validation -- A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics.- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems.- Safety Argumentation.- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact.- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems.- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems.- Verification and Validation of Autonomous Systems.- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems.- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety.- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities.- Interactive Systems and Design Validation.- SafeDeML: On Integrating the Safety Design into the System Model.- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks.- Devil's in the detail: Through-life safety and security co-assurance using SSAF.
000914583 506__ $$aAccess limited to authorized users.
000914583 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 16, 2019).
000914583 650_0 $$aComputer security$$vCongresses.
000914583 650_0 $$aComputer organization$$vCongresses.
000914583 650_0 $$aSoftware engineering$$vCongresses.
000914583 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
000914583 650_0 $$aComputer logic$$vCongresses.
000914583 650_0 $$aApplication software$$xSecurity measures$$vCongresses.
000914583 655_7 $$aConference papers and proceedings.
000914583 7001_ $$aRomanovsky, Alexander,$$d1954-$$eeditor.
000914583 7001_ $$aTroubitsyna, Elena$$q(Elena A.),$$d1970-$$eeditor.
000914583 7001_ $$aBitsch, Friedemann,$$eeditor.
000914583 830_0 $$aLecture notes in computer science ;$$v11698.
000914583 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000914583 852__ $$bebk
000914583 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-26601-1$$zOnline Access$$91397441.1
000914583 909CO $$ooai:library.usi.edu:914583$$pGLOBAL_SET
000914583 980__ $$aEBOOK
000914583 980__ $$aBIB
000914583 982__ $$aEbook
000914583 983__ $$aOnline
000914583 994__ $$a92$$bISE