ATM Case study models - UML-B/Event-B

Said, Mar Yah (2012) ATM Case study models - UML-B/Event-B. University of Southampton [Dataset]

Record type: Dataset

Abstract

Published date: 2012

Organisations: Electronic & Software Systems, Faculty of Physical Sciences and Engineering

Learn more about Cyber Physical Systems research

Local EPrints ID: 346101

URI: http://eprints.soton.ac.uk/id/eprint/346101

PURE UUID: 78ecd75a-0f1b-4837-b657-365f9d56bd9a

ORCID for Colin Snook:

orcid.org/0000-0002-0210-0983

ORCID for Michael Butler:

orcid.org/0000-0003-4642-5373

Date deposited: 11 Dec 2012 13:24

Last modified: 06 Nov 2023 02:37

Creator: Mar Yah Said

Research team head: Colin Snook

Research team head: Michael Butler

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

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.