The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+M15
@@ Property / Mathematics Subject Classification ID: 68M15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 94C10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C12
@@ Property / Mathematics Subject Classification ID: 94C12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6368391
@@ Property / zbMATH DE Number: 6368391 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fault tree analysis
@@ Property / zbMATH Keywords: fault tree analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fault injection
@@ Property / zbMATH Keywords: fault injection / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+retrenchment
@@ Property / zbMATH Keywords: retrenchment / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+mechanical fault tree synthesis
@@ Property / zbMATH Keywords: mechanical fault tree synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combinational circuits
@@ Property / zbMATH Keywords: combinational circuits / rank @@
+Normal rank

Revision as of 17:22, 30 June 2023