Atjaunināt sīkdatņu piekrišanu

E-grāmata: Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 11698
  • Izdošanas datums: 02-Sep-2019
  • Izdevniecība: Springer Nature Switzerland AG
  • Valoda: eng
  • ISBN-13: 9783030266011
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 59,47 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, ProceedingsPalielināt
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 11698
  • Izdošanas datums: 02-Sep-2019
  • Izdevniecība: Springer Nature Switzerland AG
  • Valoda: eng
  • ISBN-13: 9783030266011
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.





The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. 
Formal 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.-
Devils in the detail:Through-life safety and security co-assurance using
SSAF.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830302660112e.html
Keywords: