Models and formal verification of multiprocessor system-on-chips (Q953526): Difference between revisions

@@ Property / cites work @@
+Scheduling with timed automata
@@ Property / cites work: Scheduling with timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551179
@@ Property / cites work: Q4551179 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472261
@@ Property / cites work: Q4472261 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Q4472228
@@ Property / cites work: Q4472228 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on Multiprocessing Timing Anomalies
@@ Property / cites work: Bounds on Multiprocessing Timing Anomalies / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703732
@@ Property / cites work: Q2703732 / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank