Sciweavers

12 search results - page 1 / 3
» qest 2005
Sort
View
172
Voted
QEST
2005
IEEE
16 years 19 days ago
Formal Executable Descriptions of Biological Systems
Michele Curti, Davide Prandi, Linda Brodo
QEST
2005
IEEE
16 years 19 days ago
Fluid Flow Approximation of PEPA models
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
Jane Hillston