-
an integrated manner, taking into account the couplings between energy, water, and carbon exchanges in the envelopes. As part of the GREENVELOPES project, the TEB urban canopy model (Masson 2000, de Munck et al
-
ReGroStaFT, which develops rigorous mathematical approaches to renormalization and coarse-graining for models from statistical physics, particle systems, and stochastic partial differential equations
Searches related to model checking
Enter an email to receive alerts for model-checking positions