Search
Add filters:
Use filters to refine the search results.
Results 1-4 of 4
- 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 |
| 1-Jan-2003 | HYDRA: HYpergraph-based distributed response-time analyser | Dingle, NJ; Harrison, PG; Knottenbelt, WJ; Arabnia HR, Mun Y |
| 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 |
| 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 |
Discover
Publication Type