Industrial deployment of system engineering methods providing high dependability and productivity


A-Style Decomposition Examples

Pascal, Carine A-Style Decomposition Examples. [Rodin Archive]

[img]ZIP Archive (Question Response A-Style Decomposition Example) - Other

Item Type:Rodin Archive
Subjects:Tool developments > Rodin platform
Methodology > Composition and reuse
Tool developments > Model construction
Event-B > Event-B Examples
ID Code:139
Deposited By:Laurent Voisin Laurent Voisin
Deposited On:23 Jul 2009 14:27
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved