What Can Formal Methods Bring to Systems Biology?
Nicola BonzanniK. Anton FeenstraWan J. FokkinkElzbieta KrepskaPublished in: FM (2009)
Keyphrases
- formal methods
- systems biology
- high throughput
- biological systems
- biochemical networks
- biological data
- biological networks
- knowledge based systems
- model checking
- artificial intelligence
- gene regulatory networks
- formal specification
- molecular biology
- protein protein interactions
- computational biology
- software engineering
- cell biology
- data sets
- expert systems
- microarray
- modeling language
- case study
- social networks
- reverse engineering
- data acquisition
- life sciences
- relational databases
- machine learning