Login

	RSS 1.0
	RSS 2.0
	Atom

A Basis for Feature-Oriented Modelling in Event-B

Sorge, Jennifer, Poppleton, Mike and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B. In, ABZ2010, Orford, Canada, 23 - 25 Feb 2010.

Download

	PDF (1 page abstract) Download (38Kb)
	PDF (on-line proceedings version) Download (81Kb)

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	Event Dates: 23-25 Feb 2010
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
Item ID:	268424
Date Deposited:	27 Jan 2010 17:11
Last Modified:	01 Mar 2012 15:35
Contributors:	Sorge, Jennifer (Author) Poppleton, Mike (Author) Butler, Michael (Author)
Date:	23 February 2010
Additional Information:	Event Dates: 23-25 Feb 2010
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/268424

Actions (login required)

View Item

View Item

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