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 Khireddine2015مشروع بحث تكوين جامعي (PRFU)منتهٍ