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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s036176880901006x
+Normal rank
@@ Property / OpenAlex ID @@
+W2154141291
@@ Property / OpenAlex ID: W2154141291 / rank @@
+Normal rank