Industrial deployment of system engineering methods providing high dependability and productivity

 

Mathematical Extension in Event-B through the Rodin Theory Component

Butler, Michael and Maamria, Issam (2010) Mathematical Extension in Event-B through the Rodin Theory Component. Technical Report. Deploy Project. (Unpublished)

[img]
Preview
PDF
103Kb

Item Type:Monograph (Technical Report)
Subjects:Tool developments > Provers
Event-B > Event-B Theory
ID Code:251
Deposited By:Michael Butler
Deposited On:27 Oct 2010 14:00
Last Modified:27 Oct 2010 14:00

Repository Staff Only: item control page

Deploy-Project - All right reserved