Journal article icon

Journal article

Simulation and verification for computational modelling of signalling pathways.

Abstract:

Modelling of the dynamics of biochemical reaction networks typically proceeds by solving ordinary differential equations or stochastic simulation via the Gillespie algorithm. More recently, computational methods such as process algebra techniques have been successfully applied to the analysis of signalling pathways. One advantage of these is that they enable automatic verification of the models, via model checking, against qualitative and quantitative temporal logic specifications, for exampl...

Expand abstract

Actions


Access Document


Publisher copy:
10.1145/1218112.1218415

Authors


Kwiatkowska, MZ More by this author
Tymchyshyn, O More by this author
Expand authors...

Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Publisher:
WSC Publisher's website
Journal:
Winter Simulation Conference
Pages:
1666-1674
Publication date:
2006
DOI:
ISSN:
0891-7736
URN:
uuid:235345b0-2aba-4914-981d-2fa8218944a1
Source identifiers:
194885
Local pid:
pubs:194885
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP