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:
Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander Specifying Modal Systems using Event-B. (Technical report). (Unpublished)

Deploy-Project - All right reserved