Industrial deployment of system engineering methods providing high dependability and productivity


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.

Full text not available from this repository.

Official URL:

Item Type:Conference or Workshop Item (Paper)
Subjects:Tool developments > Rodin plug-ins
ID Code:35
Deposited By:Michael Butler
Deposited On:07 Oct 2008 22:02
Last Modified:07 Oct 2008 22:02

Repository Staff Only: item control page

Deploy-Project - All right reserved