Industrial deployment of system engineering methods providing high dependability and productivity


A Survey on Event-B Decomposition

Hoang, Thai Son and Iliasov, Alexei and Silva, Renato and Wei , Wei (2011) A Survey on Event-B Decomposition. ECEASST, 46 .

Full text not available from this repository.

Official URL:

Item Type:Article
Subjects:Industrial Deployment > Business
Methodology > Composition and reuse
ID Code:420
Deposited By: Thai Son Hoang
Deposited On:09 Jul 2012 14:52
Last Modified:09 Jul 2012 14:52

Repository Staff Only: item control page

Deploy-Project - All right reserved