Organising LTL monitors over distributed systems with a global clock (Q681471): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-016-0251-x
@@ Property / DOI: 10.1007/s10703-016-0251-x / rank @@
-Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Rule Systems for Run-time Monitoring: from EAGLE to RULER
+Normal rank
@@ Property / cites work @@
+Comparing LTL Semantics for Runtime Verification
@@ Property / cites work: Comparing LTL Semantics for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralised LTL monitoring
@@ Property / cites work: Decentralised LTL monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+Organising LTL monitors over distributed systems with a global clock
+Normal rank
@@ Property / cites work @@
+Timing analysis of the flexRay communication protocol
+Normal rank
@@ Property / cites work @@
+Q4536600
@@ Property / cites work: Q4536600 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed system contract monitoring
@@ Property / cites work: Distributed system contract monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced automata minimization
@@ Property / cites work: Advanced automata minimization / rank @@
+Normal rank
@@ Property / cites work @@
+On the Merits of Temporal Testers
@@ Property / cites work: On the Merits of Temporal Testers / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
+Normal rank
@@ Property / cites work @@
+Q2754087
@@ Property / cites work: Q2754087 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-016-0251-X
@@ Property / DOI: 10.1007/S10703-016-0251-X / rank @@
+Normal rank