09091 Executive Summary - Formal Methods in Molecular Biology.
Rainer BreitlingDavid Roger GilbertMonika HeinerCorrado PriamiPublished in: Formal Methods in Molecular Biology (2009)
Keyphrases
- formal methods
- molecular biology
- biological data
- computational biology
- microarray
- model checking
- knowledge based systems
- artificial intelligence
- protein structure
- formal specification
- safety critical
- software engineering
- nucleotide sequences
- phylogenetic analysis
- information systems
- formal specification language
- modeling language
- machine learning
- data sets
- case study
- development lifecycle
- real time