Search
Add filters:
Use filters to refine the search results.
Results 1-5 of 5
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Jan-2003 | Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler | Bradley, JT; Dingle, NJ; Gilmore, ST; Knottenbelt, WJ; Titsworth F |
| 31-Dec-2003 | Extracting passage times from PEPA models with the HYDRA tool: a case study | Bradley, JT; Dingle, NJ; Gilmore, ST; Knottenbelt, WJ; Jarvis SA |
| 16-Aug-2004 | Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models | Argent-Katwala, A; Bradley, JT; Dingle, NJ |
| 1-Jan-2003 | Performance queries on Semi-Markov Stochastic Petri nets with an extended continuous Stochastic logic | Bradley, JT; Dingle, NJ; Harrison, PG; Knottenbelt, WJ |
| 31-Jul-2009 | Truncation of Passage-time Calculations in Semi-Markov Models | Guenther, MC; Bradley, JT; Dingle, NJ; Knottenbelt, WJ |