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

    Velkommen til Saxo – din danske boghandel

    Hos os kan du handle som gæst, Saxo-bruger eller Saxo-medlem – du bestemmer selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om medlemspriser hos Saxo

    For at købe bøger til medlemspris skal du være medlem af Saxo Premium, Saxo Shopping eller Saxo Ung. De første 7 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO080