The following pages link to (Q2754104):
Displayed 10 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Reachability solution characterization of parametric real-time systems (Q703513) (← links)
- Analysis of a biphase mark protocol with Uppaal and PVS (Q855013) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- (Q2842862) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Reachability in Timed Counter Systems (Q5179060) (← links)