The following pages link to Marco Beccuti (Q2348025):
Displaying 5 items.
- Approximate analysis of biological systems by hybrid switching jump diffusion (Q2348027) (← links)
- Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units (Q5096082) (← links)
- Analysis of Petri Net Models through Stochastic Differential Equations (Q5166769) (← links)
- Stochastic Petri Nets Sensitivity to Token Scheduling Policies (Q5232815) (← links)
- Expressing and Computing Passage Time Measures of GSPN Models with HASL (Q5300868) (← links)