Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 201
79.98 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10461604
Beschreibung
Stream Runtime Monitoring on UAS.- Probabilistic Black-Box Reachability Checking.- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles.- Signal Clustering using Temporal Logics.- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.- Witnessing Network Transformations.- Combining Model Checking and Runtime Verification for Safe Robotics.- Monitoring Hyperproperties.- TeLEx: Passive STL Learning Using Only Positive Examples.- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers.- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems.- Monitoring Partially Synchronous Distributed Systems using SMT Solvers.- Runtime Detection of Temporal Memory Errors.- Control Dependencies in Interpretive Systems.- Monitoring Time Intervals.
Eigenschaften
Breite: | 158 |
Gewicht: | 680 g |
Höhe: | 235 |
Länge: | 24 |
Seiten: | 432 |
Sprachen: | Englisch |
Autor: | Giles Reger, Shuvendu Lahiri |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen