-
involving Potsdam Institute for Climate Impact Research (PIK, Germany) and University of Zurich (UZH, Switzerland). Topics of research will include the mathematical modeling and simulation of the development
Searches related to model checking
Enter an email to receive alerts for model-checking positions