Idir AIT SADOUNE
Enseignant-chercheur au sein du département informatique de CentraleSupelec,
une grande école d'ingénieurs composante de l'Université Paris-Saclay.
Chercheur au sein du Laboratoire Méthodes Formelles (LMF).
Mes activités
Cliquez ici pour revenir en haut de la page
Dernières publications
Toutes les publications sur HAL Archives ouvertes - DBLP - ORCID - Google Scholar
OntoEventB: A Generator of Event-B contexts from Ontologies
9th Rodin User and Developer Workshop

Building Formal Semantic Domain Model: An Event-B Based Approach
9th International Conference on Model and Data Engineering

The role of user requirements in data repository design
International Journal on Software Tools for Technology Transfer

Using the Isabelle Ontology Framework. Linking the Formal with the Informal
11th International Conference on Intelligent Computer Mathematics
Cliquez ici pour revenir en haut de la page
Prochains cours
Accèder à l'ensemble des cours en cliquant ici
Cliquez ici pour revenir en haut de la page
Designed by Idir AIT SADOUNE - 2021