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
    Runtime Verification

    Runtime Verification

    - 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

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

    Beskrivelse

    This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.

    The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

     

    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...

    Logic Computing Methodologies Modeling and Simulation Formal languages and automata theory Security and Privacy Hardware validation Theory and algorithms for application domains Design and analysis of algorithms Semantics and reasoning Theory of computation Formal methods and theory of security Intrusion/anomaly detection and malware mitigation
    Machine Name: SAXO083