The following pages link to Marco Diciolla (Q2453218):
Displayed 4 items.
- Quantitative verification of implantable cardiac pacemakers over hybrid heart models (Q2453219) (← links)
- Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)
- Verification of linear duration properties over continuous-time markov chains (Q5892173) (← links)
- Verification of linear duration properties over continuous-time markov chains (Q5892433) (← links)