Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Studiebog
    Computer Safety, Reliability, and Security

    Computer Safety, Reliability, and Security

    - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

    Forfatter: info mangler
    Bog
    • Format
    • Bog, paperback
    • Engelsk

    Beskrivelse

    This book constitutes the refereed proceedings of the 36th International Conference  on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented  were carefully reviewed and selected from 65 submissions.

    The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.

    Læs hele beskrivelsen
    Detaljer
    Størrelse og vægt
    coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Probabilistic verification and validation Mechanisms Fault detection and recovery Model-based analysis Distributed and real-time monitoring and control Fault-tolerant hardware and software architectures Validation and verification metholologies and tools In-the-loop and model-based testing Safety and security cases Dependability analysis Design and assessment Security and privacy protection mechanisms Safety/security risk assessment Architecture-driven assurance of safety and security Formal methods assurance and certification compositional verification and certification cyber-phyiscal threats and vulnerability analysis Methods for qualification multi-concern dependability assurance and standardization
    Machine Name: SAXO081