A formal approach to adaptive software: continuous assurance of non-functional requirements (Q1941849): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A model of large program development
@@ Property / cites work: A model of large program development / rank @@
+Normal rank
@@ Property / cites work @@
+A User-Oriented Software Reliability Model
@@ Property / cites work: A User-Oriented Software Reliability Model / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterization and Bayesian Modeling
@@ Property / cites work: Parameterization and Bayesian Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Architecture-based approach to reliability assessment of software systems
+Normal rank
@@ Property / cites work @@
+Q4798030
@@ Property / cites work: Q4798030 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Interval-valued finite Markov chains
@@ Property / cites work: Interval-valued finite Markov chains / rank @@
+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 @@
+Q4367948
@@ Property / cites work: Q4367948 / rank @@
+Normal rank