-
, and BIMAG consists of three teams. The intracellular dynamics team aims to develop reduction methods for multi-scale systems and apply them to understand molecular dynamics underlying enzyme kinetics
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions