On Resource-Sensitive Timed Component Connectors (Q5428917): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Q4439564
@@ Property / cites work: Q4439564 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
+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
@@ Property / cites work @@
+Conformance Testing Relations for Timed Systems
@@ Property / cites work: Conformance Testing Relations for Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus and logic of resources and processes
@@ Property / cites work: A calculus and logic of resources and processes / rank @@
+Normal rank