Dynamic Sync-Programs for Modular Verification of Biological Systems.

Peter Drábik Andrea Maggiolo-Schettini Paolo Milazzo

Published in: NCMA (2010)

Keyphrases

biological systems
dynamic behavior
complex systems
biologically inspired
systems biology
neural dynamics
biological processes
drug discovery
engineering problems
artificial systems
complex biological systems
biological networks
protein interaction
regulatory networks
signal transduction