×
![]( "Buchcover ISBN 9783540688945")
Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
herausgegeben von Marco Bernardo, Pierpaolo Degano und Gianluigi ZavattaroInhaltsverzeichnis
- Regular Lectures.
- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.
- Pathway Logic.
- Formal Cell Biology in Biocham.
- Hierarchical Modeling for Computational Biology.
- Simulation Methods in Systems Biology.
- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies.
- Petri Nets for Systems and Synthetic Biology.
- Process Algebras in Systems Biology.
- The BlenX Language: A Tutorial.
- BISCA Talks.
- Cells in Silico: A Holistic Approach.
- The Calculus of Looping Sequences.
- Hybrid Systems and Biology.
- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.
- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
