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 At ABZ2010. 23 - 25 Feb 2010.

Download

[img] PDF paper_53.pdf - Other
Download (39kB)
[img] PDF paper_53-1.pdf - Other
Download (83kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 23-25 Feb 2010
Venue - Dates: ABZ2010, 2010-02-23 - 2010-02-25
Organisations: Electronic & Software Systems
ePrint ID: 268424
Date :
Date Event
23 February 2010Published
Date Deposited: 27 Jan 2010 17:11
Last Modified: 17 Apr 2017 18:34
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268424

Actions (login required)

View Item View Item