Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d'outils de model-checking
La modélisation dans le domaine de l'agro-écologie est importante car elle permet de mieux comprendre les interactions entre l'environnement et les activités humaines. Des travaux basés sur la simulation ont été développés depuis des années. Cependant, non seulement ces outils restent diff...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université Rennes 1
2014
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00933443 http://tel.archives-ouvertes.fr/docs/01/05/82/56/PDF/ZHAO_Yulong.pdf |