Safe Runtime Verification of Real-Time Properties (Q3648826): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1757929668
@@ Property / OpenAlex ID: W1757929668 / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring of Real-Time Properties
@@ Property / cites work: Monitoring of Real-Time Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Stutter-invariant temporal properties are expressible without the next-time operator
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126783
@@ Property / cites work: Q3126783 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformational design of real-time systems. I: From requirements to program specifications
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank