Industrial deployment of system engineering methods providing high dependability and productivity

 

Language and Tool Support for Class and State Machine Refinement in UML-B

Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. [Rodin Archive]

[img]ZIP Archive (Rodin archive)
2008Kb
[img]Plain Text (Readme)
711b
[img]
Preview
PDF
400Kb

Item Type:Rodin Archive
Subjects:Tool developments
Event-B
ID Code:95
Deposited By:Mr Kriangsak Damchoom
Deposited On:02 May 2009 10:53
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved