( en | de | ru )

 

Disambiguation of "Aït-Sadoune, Idir"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform.

, , , and . IMPEX/FM&MDD, volume 271 of EPTCS, page 24-33. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Idir Aït-Sadoune

Ali Aït-Bachir

Yacine Aït-Sahalia

Idir Chibane

Idir Bakdi

 

Other publications of authors with the same name

Semantic Hubs for Geological Projects., , , , , , , , , and 16 other author(s). SeMMA, volume 346 of CEUR Workshop Proceedings, page 3-17. CEUR-WS.org, (2008)Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification., and . Trans. Large Scale Data Knowl. Centered Syst., (2013)A Floating-Point Numbers Theory for Event-B.. MEDI, volume 14396 of Lecture Notes in Computer Science, page 30-43. Springer, (2023)Building Formal Semantic Domain Model: An Event-B Based Approach., and . MEDI, volume 11815 of Lecture Notes in Computer Science, page 140-155. Springer, (2019)Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform., , , and . IMPEX/FM&MDD, volume 271 of EPTCS, page 24-33. (2017)Using Deep Ontologies in Formal Software Engineering., , , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 15-32. Springer, (2023)Semantic Hubs for Geological Projects, , , , , , , , , and 16 other author(s). Proc. Semantic Metadata Management and Applications Workshop, Fifth European Semantic Web Conference, Teneriffe, Spain, (June 2008)Animating Event B Models by Formal Data Models., and . ISoLA, volume 17 of Communications in Computer and Information Science, page 37-55. Springer, (2008)