384 search results - page 1 / 77 » HYPE Applied to the Modelling of Hybrid Biological Systems |
ENTCS
2008
13 years 5 months ago
2008
HYPE is a process algebra developed to model hybrid systems
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
CONCUR
2009
Springer
13 years 12 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
KES
2007
Springer
13 years 11 months ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
CMSB
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...