Eman Alkhammash

Modeling guidelines of FreeRTOS in Event-B

Corina Cîrstea, Michael Butler, Eman Alkhammash, 2016 .

Fuzzy Logic for Text Document Clustering

Wahiba Ben Abdessalem Karaa, Eman Alkhammash, Kawther Dridi, 2017 .

Building Traceable Event-B Models from Requirements

Corina Cîrstea, Michael J. Butler, Asieh Salehi Fathabadi, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Towards a systematic process for modelling complex systems in event-B

Eman Alkhammash, 2014 .

Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems

Eman Alkhammash, Eman H. Alkhammash, 2020, Soft Comput..

Building traceable Event-B models from requirements

Corina Cîrstea, Asieh Salehi Fathabadi, Eman Alkhammash, 2015, Sci. Comput. Program..