UML-B: A plug-in for the Event-B tool set

Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. In, Abstract State Machines, B and Z, First International Conference ABZ 2008 , 347.

Download

	PDF (3 page version) Download (207Kb)
	PDF (1 page abstract) Download (20Kb)

Item Type:	Conference or Workshop Item (Paper)
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
Item ID:	266770
Date Deposited:	07 Oct 2008 20:52
Last Modified:	26 Apr 2013 04:29
Contributors:	Snook, Colin (Author) Butler, Michael (Author)
Date:	September 2008
Status:	Published
Further Information:	Google Scholar
ISI Citation Count:	0
URI:	http://eprints.soton.ac.uk/id/eprint/266770

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

Actions (login required)

View Item