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

Täydet tiedot

Tallennettuna:
Bibliografiset tiedot
Päätekijät: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Degano, Pierpaolo, Zavattaro, Gianluigi.
Aineistotyyppi: Livro
Kieli:Inglês
Julkaistu: Springer, c200
Sarja:Lecture notes in computer science ;
Lecture notes in computer science.
Aiheet:
Métodos formais (Computação) Congressos.
Circuitos integrados Verificação Congressos.
Linkit:https://minerva.ufrj.br/F/?func=direct&doc_number=000908143&local_base=UFR01
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia