Connectors as designs: modeling, refinement and test case generation (Q433336): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6055919
@@ Property / zbMATH DE Number: 6055919 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+connector
@@ Property / zbMATH Keywords: connector / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Reo circuits
@@ Property / zbMATH Keywords: Reo circuits / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed data sequence
@@ Property / zbMATH Keywords: timed data sequence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+design
@@ Property / zbMATH Keywords: design / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement
@@ Property / zbMATH Keywords: refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+test case generation
@@ Property / zbMATH Keywords: test case generation / rank @@
+Normal rank

Revision as of 23:24, 29 June 2023