NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Models of Biological Systems

Application of formal methods to verify properties of biochemical networks, genetic regulatory systems, and systems biology models.