Stochastic Model Checking of the Stochastic Quality Calculus (Q5256368): Difference between revisions

@@ Property / Wikidata QID @@
+Q59416302
@@ Property / Wikidata QID: Q59416302 / rank @@
+Normal rank
@@ 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-319-15545-6_30
+Normal rank
@@ Property / OpenAlex ID @@
+W294595811
@@ Property / OpenAlex ID: W294595811 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842863
@@ Property / cites work: Q2842863 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic and Real Time in Process Algebra: A Conceptual Overview
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547767
@@ Property / cites work: Q4547767 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of quality for robustness against unreliable communication
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking of the Stochastic Quality Calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5256368