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 : advanced lectures /

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 syst...

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awduron: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Degano, Pierpaolo, Zavattaro, Gianluigi.
Fformat: Livro
Iaith:Inglês
Cyhoeddwyd: Springer, c200
Cyfres:Lecture notes in computer science ;
Lecture notes in computer science.
Pynciau:
Métodos formais (Computação) Congressos.
Circuitos integrados Verificação Congressos.
Mynediad Ar-lein:https://minerva.ufrj.br/F/?func=direct&doc_number=000908143&local_base=UFR01
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg