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: http://journal.ub.tu-berlin.de/eceasst/article/view/688
| 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
