E-Book, Englisch, 527 Seiten, eBook
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
E-Book, Englisch, 527 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-540-68894-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
