Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings: Lecture Notes in Computer Science, cartea 12974
Editat de Lu Feng, Dana Fismanen Limba Engleză Paperback – 6 oct 2021
The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 486.04 lei
Preț vechi: 607.55 lei
-20%
Puncte Express: 729
Preț estimativ în valută:
85.92€ • 102.45$ • 74.53£
85.92€ • 102.45$ • 74.53£
Carte tipărită la comandă
Livrare economică 16-30 martie
Specificații
ISBN-13: 9783030884932
ISBN-10: 3030884937
Pagini: 331
Ilustrații: XII, 331 p. 86 illus., 53 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.48 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
ISBN-10: 3030884937
Pagini: 331
Ilustrații: XII, 331 p. 86 illus., 53 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.48 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
Cuprins
Regular Papers.- Predicate Monitoring in Distributed Cyber-physical Systems.- Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs.- Into the Unknown: Active Monitoring of Neural Networks.- Monitoring with Verified Guarantees.- On the Interpretation and Monitoring of Timed Deontic Logics.- Efficient Black-Box Checking via Model Checking with Strengthened Specifications.- Neural Predictive Monitoring under Partial Observability.- A Compositional Framework for Quantitative Online Monitoring over Continuous-time Signals.- Nested Monitors: Monitors as Expressions to Build Monitors.- Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs.- Assumption-Based Runtime Veri cation of Infinite-State Systems.- Short Papers and Tool Papers.- Differential Monitoring.- Ortac: Runtime Assertion Checking for OCaml (tool paper).- Gaussian-based runtime detection of out-of-distribution inputs for neural networks.- Parallel and Multi-Objective Falsification with Scenic and VerifAI.- A Theoretical Framework for Understanding the Relationship between Log Parsing and Anomaly Detection.- Specification and Runtime Verification of Temporal Assessments in Simulink.- PerceMon: Online Monitoring for Perception Systems.- Tutorial Paper.- Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.