Conception des système de gestion des informations géographiques à base de services web et ontologies spatiales, validation par des méthodes formelles.Kholladi Mohamed Khireddine2015University research-training project (PRFU)Finished