A logic for biological systems |
| |
Authors: | Duan Z Holcombe M Bell A |
| |
Affiliation: | Department of Computer Science, The University of Sheffield, Sheffield, UK. |
| |
Abstract: | This paper proposes a specification language, hybrid projection temporal logic of modelling, analyzing and verifying biological systems which can be considered, in general, to be hybrid systems consisting of a non-trivial mixture of discrete and continuous components. The syntax and semantics of the logic are presented, and some examples of hybrid systems are modelled to illustrate the formalism. |
| |
Keywords: | |
本文献已被 PubMed 等数据库收录! |
|