Vor Ort
Merkzettel Warenkorb
Produktbild: Runtime Verification
Band 9333

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.2015

Abbildungen

XIX, 133 illus., schwarz-weiss Illustrationen

Herausgeber

Ezio Bartocci + weitere

Verlag

Springer

Seitenzahl

432

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-23819-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.2015

Abbildungen

XIX, 133 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

432

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-23819-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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

  • Invited Papers.- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.- Twenty Years of Dynamic Software Model Checking.- Explaining Heisenbugs.- Regular Papers.- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.- Runtime Adaptation for Actor Systems.- Robust Online Monitoring of Signal Temporal Logic.- On Verifying The Hennessy-Milner Logic with Recursion at Runtime.- Assuring the Guardians.- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System.- Monitoring Electronic Exams.- Monitoring Real Android Malware.- Time-triggered Runtime Verification of Component-Based Multi-core Systems.- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining.- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment.- From First-Order Temporal Logic to Parametric Trace Slicing.- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems.- A Hybrid Approach to Causality Analysis.- Short Papers.- Statistical Model Checking of Distributed Adaptive Real-Time Software.- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources.- Runtime Verification for Hybrid Analysis Tools.- Suggesting Edits to Explain Failing Traces.- Tool Papers.- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java.- TIPEX: a tool chain for Timed Property Enforcement during eXecution.- Tutorial Papers.- Machine Learning Methods in Statistical Model Checking and System Design - Tutorial.- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.- LearnLib Tutorial - An Open Source Java Library for Active Automata Learning.- Monitoring and Measuring Hybrid Behaviors - A Tutorial.- Software Competitions.- Second International Competition on Runtime Verification CRV 2015.- Rigorous Examination of Reactive Systems: The RERS challenge 2015.