Formal Executable Descriptions of Biological Systems.
Michele CurtiDavide PrandiLinda BrodoPublished in: QEST (2005)
Keyphrases
- biological systems
- formal specification
- biologically inspired
- complex systems
- systems biology
- engineering problems
- biological networks
- neural dynamics
- artificial systems
- computational models
- metabolic pathways
- biological processes
- complex biological systems
- signal transduction
- living systems
- model checking
- formal methods
- biological knowledge
- genetic networks
- living organisms
- computer vision
- neural mechanisms
- biologically inspired design
- artificial intelligence