Statistical Model Checking for Variability-Intensive Systems (Q5039537): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
+Normal rank
@@ Property / cites work @@
+The coupon-collector problem revisited — a survey of engineering problems and computational methods
+Normal rank
@@ Property / cites work @@
+Data structures for symbolic multi-valued model-checking
+Normal rank
@@ Property / cites work @@
+A testing scenario for probabilistic processes
@@ Property / cites work: A testing scenario for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Faster statistical model checking for unbounded temporal properties
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The vectorization of ITPACK 2C
@@ Property / cites work: The vectorization of ITPACK 2C / rank @@
+Normal rank
@@ Property / cites work @@
+Feature integration using a feature construct
@@ Property / cites work: Feature integration using a feature construct / rank @@
+Normal rank
@@ Property / cites work @@
+Some upper and lower bounds on the coupon collector problem
+Normal rank
@@ Property / cites work @@
+Statistical Verification of Probabilistic Properties with Unbounded Until
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank