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

Full beskrivning

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Degano, Pierpaolo, Zavattaro, Gianluigi.
Materialtyp: Livro
Språk:Inglês
Publicerad: Springer, c200
Serie:Lecture notes in computer science ;
Lecture notes in computer science.
Ämnen:
Métodos formais (Computação) Congressos.
Circuitos integrados Verificação Congressos.
Länkar:https://minerva.ufrj.br/F/?func=direct&doc_number=000908143&local_base=UFR01
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Liknande verk