Model checking functional and performability properties of stochastic fluid models
From MaRDI portal
Publication:2848429
Recommendations
Cited in
(6)- Logical characterization of fluid equivalences
- Model checking for performability
- Model checking mobile stochastic logic
- Performance model checking scenario-aware dataflow
- Model Checking for a Class of Performance Properties of Fluid Stochastic Models
- Model checking single agent behaviours by fluid approximation
This page was built for publication: Model checking functional and performability properties of stochastic fluid models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848429)