-
biological networks. The systemic dynamics team aims to develop digital medicine for sleep disorders based on health-wearable devices via mathematical modeling and machine learning. In BIMAG, researchers can
Searches related to model checking
Enter an email to receive alerts for model-checking positions