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.


[img] PDF (3 page version)
Download (207Kb)
[img] PDF (1 page abstract)
Download (20Kb)
Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266770
Date Deposited: 07 Oct 2008 20:52
Last Modified: 27 Mar 2014 20:12
Further Information:Google Scholar
ISI Citation Count:0

Actions (login required)

View Item View Item