Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Runtime Verification
  • Produktbild: Runtime Verification
Band 12974

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

Aus der Reihe Programming and Software Engineering

75,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.10.2021

Abbildungen

XII, 331 p. 86 illus., 53 illus. in color.

Herausgeber

Lu Feng + weitere

Verlag

Springer

Seitenzahl

331

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

522 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-88493-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.10.2021

Abbildungen

XII, 331 p. 86 illus., 53 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

331

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

522 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-88493-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Runtime Verification
  • Produktbild: Runtime Verification
  • 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.