Login / Signup
Manar Altamimi
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Formal Model
Faculty Members
Saudi Arabia
Complex Events
Top Venues
Int. J. ICT Res. Afr. Middle East
ABZ
</>
Publications
</>
Manar Altamimi
,
Nawfal Al Hashimy
,
Asieh Salehi Fathabadi
,
Gary B. Wills
Property Ownership Formal Modelling Using Event-B and iUML-B.
ABZ
(2024)
Manar Altamimi
,
Gary B. Wills
,
Nawfal Al Hashimy
Expert Review of the Land Registration Framework in the Kingdom of Saudi Arabia.
Int. J. ICT Res. Afr. Middle East
11 (1) (2022)