A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.

Savas Konur Marian Gheorghe

Published in: IEEE ACM Trans. Comput. Biol. Bioinform. (2015)

Keyphrases

formal analysis
formal methods
computer systems
intelligent systems
management system
distributed systems
complex systems
information systems
database systems
expert systems
building blocks
information retrieval
low cost
data driven
knowledge based systems
real images are presented