Mixing logics and rewards for the component-oriented specification of performance measures (Q995461): Difference between revisions

@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+On the usability of process algebra: An architectural view
+Normal rank
@@ Property / cites work @@
+Q4270055
@@ Property / cites work: Q4270055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754196
@@ Property / cites work: Q2754196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798039
@@ Property / cites work: Q4798039 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance measure sensitive congruences for Markovian process algebras
+Normal rank
@@ Property / cites work @@
+Q4411089
@@ Property / cites work: Q4411089 / rank @@
+Normal rank
@@ Property / cites work @@
+On the solution of GSPN reward models
@@ Property / cites work: On the solution of GSPN reward models / rank @@
+Normal rank
@@ Property / cites work @@
+Specification techniques for Markov reward models
@@ Property / cites work: Specification techniques for Markov reward models / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q5635252
@@ Property / cites work: Q5635252 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking expected time and expected reward formulae with random time bounds
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101255
@@ Property / cites work: Q4101255 / rank @@
+Normal rank
@@ Property / cites work @@
+Reward model solution methods with impulse and rate rewards: an algorithm and numerical results
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank