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

Items where Division is "Faculties (pre 2011 reorg) > Faculty of Engineering Science & Maths (pre 2011 reorg) > Electronics & Computer Science (pre 2011 reorg) > DSSE (pre 2011 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2011 reorg) > DSSE (pre 2011 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2011 reorg) > DSSE (pre 2011 reorg)" and Year is 2009

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Jump to: P | R | S
Number of items: 6.

P

Event-B model decomposition - Carine Pascal and Renato Silva
Type: Conference or Workshop Item | 2009

R

Type: Thesis | 2009

S

Type: Monograph | 2009 | University of Southampton

Type: Conference or Workshop Item | 2009

Decomposition tool for Event-B - Renato Silva, Carine Pascal, T.S. Hoang and Michael Butler
Type: Monograph | 2009 | University of Southampton

A Basis for feature-oriented modelling in Event-B - Jennifer Sorge, Michael Poppleton and Michael Butler
Type: Monograph | 2009

This list was generated on Tue Nov 19 02:13:09 2024 GMT.
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.

×