• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Upp till 25% på utvalda nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

    AvErika Ábrahám,Houssam Abbas

    Häftad, Engelska, 2024

    Del i serien Lecture Notes in Computer Science

    616 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

    Produktinformation

    • Utgivningsdatum:2024-10-12
    • Mått:155 x 235 x 18 mm
    • Vikt:487 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:304
    • Förlag:Springer International Publishing AG
    • ISBN:9783031742330

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Artificiell intelligens inom Data och IT

    Innehållsförteckning

    • .- Invited Paper..- Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities..- Cyber-physical Systems..- A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study..- Stream-based Monitoring under Measurement Noise..- Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS..- Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption..- Sampling-based and Gradient-based Efficient Scenario Generation..- HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems..- Temporal Logics..- faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties..- Efficient Online Monitoring for Dynamic Metric Temporal Logic..- TimelyMon: A Streaming Parallel First-Order Monitor..- Specification and Visualization..- Adding State to Stream Runtime Verification..- The Complexity of Data-Free Nfer..- RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring..- Deep Neural Networks..- Case Study: Runtime Safety Verification of Neural Network Controlled System..- Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces..- Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study..- Distributed Systems..- Distributed Monitoring of Timed Properties..- Towards Efficient Runtime Veri ed Linearizable Algorithms..- Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.