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

Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Education
School of Electronics and Computer Science > Education" and Year is 2024

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 4.

Property ownership formal modelling using Event-B and iUML-B - Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi and Gary Wills
Type: Conference or Workshop Item | 2024

Charge pattern detection through electrostatic array sensing - Zaihao Tian, Jo Grundy and Terence Harvey
Type: Article | 2024

An event-B formal model for access control and resource management of serverless apps - Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item | 2024 | Springer | Item availability restricted.

Type: Dataset | 2024 | University of Southampton

This list was generated on Tue May 14 02:08:54 2024 BST.
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.

×