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.


[img] PDF (1 page abstract)
Download (38Kb)
[img] 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 Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 268424
Date Deposited: 27 Jan 2010 17:11
Last Modified: 27 Mar 2014 20:15
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268424

Actions (login required)

View Item View Item