The following pages link to Validation of Stochastic Systems (Q5325834):
Displaying 12 items.
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- An integrated approach for the specification and analysis of stochastic real-time systems (Q2842863) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Calculating Probabilities of Real-Time Test Cases (Q3434607) (← links)
- (Q4737551) (← links)
- Algebraic Structures and Applications (Q4963720) (← links)
- Stochastic Model Checking of the Stochastic Quality Calculus (Q5256368) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494308) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
