Login / Signup

Formalizing Ontologies for AI Models Validation: from OWL to Event-B.

Mohamed Ould BahZakaryae BoudiMohamed ToubAbderrahim Ait WakrimeGhassane Aniba
Published in: ICSC (2021)
Keyphrases