RiskStructures: a design algebra for risk-aware machines (Q1982648): Difference between revisions

@@ Property / author @@
-J. C. P. Woodcock
@@ Property / author: J. C. P. Woodcock / rank @@
-Normal rank
@@ Property / author @@
+J. C. P. Woodcock
@@ Property / author: J. C. P. Woodcock / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java-MOP
@@ Property / describes a project that uses: Java-MOP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/UTP
@@ Property / describes a project that uses: Isabelle/UTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2941146594
@@ Property / OpenAlex ID: W2941146594 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
+Normal rank
@@ Property / cites work @@
+Reliability Engineering
@@ Property / cites work: Reliability Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiobjective programming in optimization of the interval objective function
+Normal rank
@@ Property / cites work @@
+Satisfying safety goals by probabilistic risk assessment.
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Risk Analysis of Changing and Evolving Systems Using CORAS
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2003
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Risk-Aware Control
@@ Property / cites work: Risk-Aware Control / rank @@
+Normal rank