Application of the trace assertion method to the specification, design, and verification of automaton programs (Q840086): Difference between revisions

@@ Property / cites work @@
+Q4210549
@@ Property / cites work: Q4210549 / rank @@
+Normal rank
@@ Property / cites work @@
+SWITCH technology: An automated approach to developing software for reactive systems
+Normal rank
@@ Property / cites work @@
+Modeling, specification, and verification of automaton programs
+Normal rank
@@ Property / cites work @@
+Q3039003
@@ Property / cites work: Q3039003 / rank @@
+Normal rank
@@ Property / cites work @@
+The trace specification of communications protocols
+Normal rank
@@ Property / cites work @@
+On a formal semantics of tabular expressions
@@ Property / cites work: On a formal semantics of tabular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank