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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-45234-6_15
+Normal rank
@@ Property / OpenAlex ID @@
+W3019051048
@@ Property / OpenAlex ID: W3019051048 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5039537