Book Cover
E-book
Author FMSB 2008 (2008 : Cambridge, England)

Title Formal Methods in Systems Biology : first international workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008 : proceedings / Jasmin Fisher (ed.)
Published Berlin ; New York : Springer, 2008
©2008

Copies

Description 1 online resource (138 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 5054. Lecture notes in bioinformatics
Lecture notes in computer science ; 5054.
Lecture notes in computer science. Lecture notes in bioinformatics.
Contents Contributed Papers -- Generic Reactive Animation: Realistic Modeling of Complex Natural Systems -- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions -- Computational Probability for Systems Biology -- Design Issues for Qualitative Modelling of Biological Cells with Petri Nets -- Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis -- Approximating Continuous Systems by Timed Automata -- From Reaction Models to Influence Graphs and Back: A Theorem -- Rule-Based Modelling, Symmetries, Refinements -- One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II
Summary This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008. The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems
Bibliography Includes bibliographical references and author index
Notes English
Print version record
Subject Biological systems -- Computer simulation -- Congresses
Systems Biology -- methods
Informatique.
Biological systems -- Computer simulation.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Fisher, Jasmin.
ISBN 9783540684138
3540684131
9783540684107
3540684107
Other Titles FMSB 2008