Browsing by Author "EMAN HOMOUD M ALKHAMMASH"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Restricted Investigating the Preservation of Temporal Properties by Event B Data Refinement through a Lift Controller Case Study(Saudi Digital Library) EMAN HOMOUD M ALKHAMMASH; Corina Cristea0 0Item Restricted Towards a Systematic Process for Modelling Complex Systems in Event-B(Saudi Digital Library) EMAN HOMOUD M ALKHAMMASH; Corina Cristea and Michael Butler1 0