The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

Property ownership formal modelling using Event-B and iUML-B

Property ownership formal modelling using Event-B and iUML-B
Property ownership formal modelling using Event-B and iUML-B
Altamimi, Manar
09a75f80-8852-4e29-b067-0910ad29d2a8
Al Hashimy, Nawfal
e73b96f2-bf15-40cb-9af5-23c10ea8e319
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Wills, Gary
42d5a422-9ab1-4a73-ba10-57cda550a7f3
Altamimi, Manar
09a75f80-8852-4e29-b067-0910ad29d2a8
Al Hashimy, Nawfal
e73b96f2-bf15-40cb-9af5-23c10ea8e319
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Wills, Gary
42d5a422-9ab1-4a73-ba10-57cda550a7f3

Altamimi, Manar, Al Hashimy, Nawfal, Salehi Fathabadi, Asieh and Wills, Gary (2024) Property ownership formal modelling using Event-B and iUML-B. ABZ 2024 – 10th International Conference on Rigorous State Based Methods, , Bergamo, Italy. 25 - 28 Jun 2024. 9 pp .

Record type: Conference or Workshop Item (Paper)
Text
paperABZ2024 - Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (861kB)

More information

Published date: 25 June 2024
Venue - Dates: ABZ 2024 – 10th International Conference on Rigorous State Based Methods, , Bergamo, Italy, 2024-06-25 - 2024-06-28
Related URLs:
Learn more about School of Electronics and Computer Science research Learn more about Cyber Physical Systems research

Identifiers

Local EPrints ID: 489596
URI: http://eprints.soton.ac.uk/id/eprint/489596
PURE UUID: 4bed75ed-0b55-49d5-b1f6-519e191336e9
ORCID for Manar Altamimi: ORCID iD orcid.org/0000-0002-8789-3950
ORCID for Nawfal Al Hashimy: ORCID iD orcid.org/0000-0002-1129-5217
ORCID for Asieh Salehi Fathabadi: ORCID iD orcid.org/0000-0002-0508-3066

Catalogue record

Date deposited: 29 Apr 2024 16:44
Last modified: 30 Apr 2024 01:53

Export record

Contributors

Author: Manar Altamimi ORCID iD
Author: Nawfal Al Hashimy ORCID iD
Author: Asieh Salehi Fathabadi ORCID iD
Author: Gary Wills

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×