Pages that link to "Item:Q5464755"
From MaRDI portal
The following pages link to Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464755):
Displaying 8 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916) (← links)
- Stochastic hybrid systems: a powerful framework for complex, large scale applications (Q629645) (← links)
- A formal mathematical framework for modeling probabilistic hybrid systems (Q870808) (← links)
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems (Q1365673) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process (Q3523126) (← links)