100 search results - page 1 / 20 » Formal Executable Descriptions of Biological Systems |
QEST
2005
IEEE
14 years 4 months ago
2005
IEEE
ENTCS
2008
13 years 11 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
ENTCS
2008
13 years 11 months ago
2008
We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be t...
FM
2009
Springer
14 years 5 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
ENTCS
2010
13 years 8 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....