Towards a systematic process for modelling complex systems in event-B

Sorry, there's nothing here.

Cite this paper

@inproceedings{Alkhammash2014TowardsAS, title={Towards a systematic process for modelling complex systems in event-B}, author={Eman Alkhammash}, year={2014} }