Compositional Design of Stochastic Timed Automata (Q5740181): Difference between revisions

@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+Bisimulation and Simulation Relations for Markov Chains
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Timed Automata
@@ Property / cites work: Stochastic Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Design of Stochastic Timed Automata
@@ Property / cites work: Compositional Design of Stochastic Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of interactive generalized semi-Markov processes
+Normal rank
@@ Property / cites work @@
+Verification of Open Interactive Markov Chains
@@ Property / cites work: Verification of Open Interactive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-Delay Events in Generalized Semi-Markov Processes Revisited
+Normal rank
@@ Property / cites work @@
+A theory of stochastic systems. I: Stochastic automata
+Normal rank
@@ Property / cites work @@
+A theory of stochastic systems. II: Process algebra
+Normal rank
@@ Property / cites work @@
+Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+The How and Why of Interactive Markov Chains
@@ Property / cites work: The How and Why of Interactive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Verification and Optimization of Interactive Markov Chains
+Normal rank
@@ Property / cites work @@
+Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
+Normal rank