Sort by
Refine Your Search
-
application of methods of analysis and modelling of real-world complex networked systems, with particular interest in the structure and dynamics of human brain function. Our main research areas are: Brain
Searches related to model checking
Enter an email to receive alerts for model-checking positions