09091 Abstracts Collection - Formal Methods in Molecular Biology.
Rainer BreitlingDavid Roger GilbertMonika HeinerCorrado PriamiPublished in: Formal Methods in Molecular Biology (2009)
Keyphrases
- molecular biology
- formal methods
- computational biology
- biological data
- protein structure
- formal specification
- model checking
- knowledge based systems
- artificial intelligence
- microarray
- nucleotide sequences
- safety critical
- software engineering
- phylogenetic analysis
- information extraction
- machine learning
- machine learning algorithms
- data mining