Formal Methods in Molecular Biology (Dagstuhl Seminar 11151).
Rainer BreitlingFrank J. BruggemanCorrado PriamiAdelinde M. UhrmacherPublished in: Dagstuhl Reports (2011)
Keyphrases
- formal methods
- molecular biology
- model checking
- computational biology
- biological data
- safety critical
- knowledge based systems
- formal specification
- protein structure
- microarray
- nucleotide sequences
- software engineering
- artificial intelligence
- phylogenetic analysis
- database
- modeling language
- formal specification language
- protein sequences
- development lifecycle
- dna sequences
- data collection
- object oriented
- data warehouse
- high dimensional
- expert systems
- machine learning