Squeeziness: an information theoretic measure for avoiding fault masking (Q436319): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6059107
@@ Property / zbMATH DE Number: 6059107 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software engineering
@@ Property / zbMATH Keywords: software engineering / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software testing
@@ Property / zbMATH Keywords: software testing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fault masking
@@ Property / zbMATH Keywords: fault masking / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2113307818
@@ Property / OpenAlex ID: W2113307818 / rank @@
+Normal rank
@@ Property / cites work @@
+A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
+Normal rank
@@ Property / cites work @@
+Statistical Measurement of Information Leakage
@@ Property / cites work: Statistical Measurement of Information Leakage / rank @@
+Normal rank
@@ Property / cites work @@
+Anonymity protocols as noisy channels
@@ Property / cites work: Anonymity protocols as noisy channels / rank @@
+Normal rank
@@ Property / cites work @@
+Quantification of integrity
@@ Property / cites work: Quantification of integrity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023085
@@ Property / cites work: Q4023085 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:436319