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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco., Degano, Pierpaolo, Zavattaro, Gianluigi.
Format: Livro
Sprache:Inglês
Veröffentlicht: Springer, c200
Schriftenreihe:Lecture notes in computer science ;
Lecture notes in computer science.
Schlagworte:
Métodos formais (Computação) Congressos.
Circuitos integrados Verificação Congressos.
Online Zugang:https://minerva.ufrj.br/F/?func=direct&doc_number=000908143&local_base=UFR01
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge