Industrial deployment of system engineering methods providing high dependability and productivity


Item Removed

You seem to be attempting to access an item that has been removed from the repository.

There is a later version of the item you are trying to access:
Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo Supporting Reuse in Event B Development: Modularisation Approach. Aabo Akademi, Finland. (Unpublished)

Deploy-Project - All right reserved